From e0b972d78a14bdbce9a73d3d399ce0e2eeea227c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 29 Nov 2016 09:21:44 +0100
Subject: [PATCH] update Makefile
---
Makefile | 26 ++++++++++++++++++--------
1 file changed, 18 insertions(+), 8 deletions(-)
diff --git a/Makefile b/Makefile
index da7fa86f..26f70702 100644
--- a/Makefile
+++ b/Makefile
@@ -1,26 +1,36 @@
+# Determine Coq version
+COQ_VERSION=$(shell coqc --version | egrep -o 'version 8.[0-9]' | egrep -o '8.[0-9]')
+COQ_MAKEFILE_FLAGS ?=
+
+ifeq ($(COQ_VERSION), 8.6)
+ COQ_MAKEFILE_FLAGS += -arg -w -arg -notation-overridden,-redundant-canonical-projection
+endif
+
+# Forward most targets to Coq makefile (with some trick to make this phony)
%: Makefile.coq phony
+@make -f Makefile.coq $@
-# Compile this project
all: Makefile.coq
+@make -f Makefile.coq all
clean: Makefile.coq
+@make -f Makefile.coq clean
+ find \( -name "*.v.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete
rm -f Makefile.coq
+# Create Coq Makefile
Makefile.coq: _CoqProject Makefile
- coq_makefile -f _CoqProject | sed 's/$$(COQCHK) $$(COQCHKFLAGS) $$(COQLIBS)/$$(COQCHK) $$(COQCHKFLAGS) $$(subst -Q,-R,$$(COQLIBS))/' > Makefile.coq
+ coq_makefile $(COQ_MAKEFILE_FLAGS) -f _CoqProject -o Makefile.coq.tmp
+ sed 's/$$(COQCHK) $$(COQCHKFLAGS) $$(COQLIBS)/$$(COQCHK) $$(COQCHKFLAGS) $$(subst -Q,-R,$$(COQLIBS))/' < Makefile.coq.tmp \
+ | awk '/^install:$$/{print;print "\tif [ -d \"$$(DSTROOT)\"$$(COQLIBINSTALL)/iris/ ]; then find \"$$(DSTROOT)\"$$(COQLIBINSTALL)/iris/ -name \"*.vo\" -print -delete; fi";next}1' > Makefile.coq
+ rm Makefile.coq.tmp
+# Install build-dependencies
build-dep:
cat opam.pins | build/opam-pins.sh
opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -y -n
opam install coq-lambda-rust --deps-only -y
-_CoqProject: ;
-
-Makefile: ;
-
+# Phony targets (i.e. targets that should be run no matter the timestamps of the involved files)
phony: ;
-
-.PHONY: all clean phony iris-local iris-system
+.PHONY: all clean phony
--
GitLab