Commit 310471bd authored by Benoit Viguier's avatar Benoit Viguier
Browse files

solve Makefile requirement

parent 99409bea
......@@ -28,10 +28,10 @@ COQTOP=$(COQBIN)coqtop
COQDEP=$(COQBIN)coqdep $(DEPFLAGS)
COQDOC=$(COQBIN)coqdoc -d doc -g -utf8 $(DEPFLAGS)
COQVERSION= 8.8.0
COQVERSION= 8.7.0 or-else 8.7.1 or-else 8.7.2 or-else 8.8.0
COQV=$(shell $(COQC) -v)
ifeq ("$(filter $(COQVERSION),$(COQV))","")
$(error FAILURE: You need Coq $(COQVERSION) but you have this version: $(COQV))
$(error FAILURE: You need Coq $(COQVERSION) but you have this version: $(COQV))
endif
LIBS_FILES = $(wildcard Libs/*.v)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment