diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-20 15:37:24 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-20 18:47:08 -0700 |
| commit | 3b89a26a5266f33dbfdf6968557de29a471098ab (patch) | |
| tree | 1ba6dae1f7253ae7949b67c5723f3b2e28366a2b /Makefile.submodule | |
| parent | b65228c08b17b361dd97fa24d9677ab165b3638b (diff) | |
Don't depend on the submodule; copy-paste instead
Diffstat (limited to 'Makefile.submodule')
| -rw-r--r-- | Makefile.submodule | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/Makefile.submodule b/Makefile.submodule deleted file mode 100644 index 78f301210..000000000 --- a/Makefile.submodule +++ /dev/null @@ -1,35 +0,0 @@ -ifneq (,$(wildcard .git)) # if we're in a git repo - -# if the submodule changed, update it -SUBMODULE_DIFF=$(shell git diff etc/coq-scripts 2>&1 | grep 'Subproject commit') -SUBMODULE_DIRTY=$(shell git diff etc/coq-scripts 2>&1 | grep dirty) -ifneq (,$(SUBMODULE_DIRTY)) -submodule-update:: - @ echo "\033[0;31mThe submodule is dirty; some scripts may fail.\033[0m" - @ echo "\033[0;31mRun (cd etc/coq-scripts && git clean -xfd && git reset --hard)\033[0m" -else -ifneq (,$(SUBMODULE_DIFF)) -submodule-update:: - git submodule sync && \ - git submodule update --init && \ - touch "$@" -endif -endif - -ifeq (,$(wildcard submodule-update)) -submodule-update:: - git submodule sync && \ - git submodule update --init && \ - touch "$@" -else -submodule-update:: -endif - -etc/coq-scripts/Makefile.coq.common etc/coq-scripts/compatibility/Makefile.coq.compat_84_85 etc/coq-scripts/compatibility/Makefile.coq.compat_84_85-early: submodule-update - @ touch "$@" -endif - -FAST_TARGETS += clean-doc etc/coq-scripts etc/coq-scripts/Makefile.coq.common etc/coq-scripts/compatibility/Makefile.coq.compat_84_85 etc/coq-scripts/compatibility/Makefile.coq.compat_84_85-early submodule-update -SUPER_FAST_TARGETS += submodule-update - -Makefile.coq: etc/coq-scripts/Makefile.coq.common etc/coq-scripts/compatibility/Makefile.coq.compat_84_85 etc/coq-scripts/compatibility/Makefile.coq.compat_84_85-early |