Commit a363d556 authored by ildyria's avatar ildyria
Browse files

move to 8.7.1

parent 51d40003
......@@ -28,7 +28,7 @@ COQTOP=$(COQBIN)coqtop
COQDOC=$(COQBIN)coqdoc -d doc -g -utf8 $(DEPFLAGS)
COQVERSION= 8.7.0 or-else 8.7.1
COQV=$(shell $(COQC) -v)
ifeq ("$(filter $(COQVERSION),$(COQV))","")
$(error FAILURE: You need Coq $(COQVERSION) but you have this version: $(COQV))
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