diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 18 |
1 files changed, 15 insertions, 3 deletions
@@ -1,20 +1,32 @@ MOD_NAME := Crypto SRC_DIR := src -.PHONY: coq clean install coqprime update-_CoqProject +.PHONY: coq clean install coqprime-8.4 coqprime-8.5 coqprime update-_CoqProject .DEFAULT_GOAL := coq SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g' update-_CoqProject:: - (echo '-R $(SRC_DIR) $(MOD_NAME)'; (git ls-files 'src/*.v' | $(SORT_COQPROJECT))) > _CoqProject + (echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject coq: coqprime Makefile.coq $(MAKE) -f Makefile.coq -coqprime: +COQ_VERSION_PREFIX = The Coq Proof Assistant, version +COQ_VERSION := $(firstword $(subst $(COQ_VERSION_PREFIX),,$(shell $(COQBIN)coqc --version 2>/dev/null))) + +ifneq ($(filter 8.5%,$(COQ_VERSION)),) # 8.5 +coqprime: coqprime-8.5 +else +coqprime: coqprime-8.4 +endif + +coqprime-8.4: $(MAKE) -C coqprime +coqprime-8.5: + $(MAKE) -C coqprime-8.5 + Makefile.coq: Makefile _CoqProject coq_makefile -f _CoqProject -o Makefile.coq |