diff options
Diffstat (limited to 'math/vampire/files/patch-Makefile')
| -rw-r--r-- | math/vampire/files/patch-Makefile | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/math/vampire/files/patch-Makefile b/math/vampire/files/patch-Makefile new file mode 100644 index 000000000000..e4525c0022b1 --- /dev/null +++ b/math/vampire/files/patch-Makefile @@ -0,0 +1,27 @@ +--- Makefile.orig 2019-08-23 07:50:16 UTC ++++ Makefile +@@ -557,20 +557,17 @@ VERSION_NUMBER = 4.4.0 + # The dependency on .git/HEAD tracks switching between branches, + # the dependency on .git/index tracks new commits. + +-.git/HEAD: +-.git/index: +- +-version.cpp: .git/HEAD .git/index Makefile ++version.cpp: Makefile + @echo "//Automatically generated file, see Makefile for details" > $@ +- @echo "const char* VERSION_STRING = \"Vampire $(VERSION_NUMBER) (commit $(shell git log -1 --format=%h\ on\ %ci || echo unknown))\";" >> $@ ++ @echo "const char* VERSION_STRING = \"Vampire $(FREEBSD_VERSION_NUMBER)\";" >> $@ + + ################################################################ + # separate directory for object files implementation + + # different directory for each configuration, so there is no need for "make clean" + SED_CMD='s/^[(]HEAD$$/detached/' # +-BRANCH=$(shell git branch | grep "\*" | cut -d ' ' -f 2 | sed -e $(SED_CMD) ) +-COM_CNT=$(shell git rev-list HEAD --count) ++BRANCH="master" ++COM_CNT="0" + CONF_ID := obj/$(shell echo -n "$(BRANCH) $(XFLAGS)"|sum|cut -d ' ' -f1)X + + obj: |