fix 8.6 Makefile issues

DistributedComponents · Apr 28, 2017 · 55c7ce3 · 55c7ce3
1 parent 3a046f1
commit 55c7ce3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,7 +1,7 @@
-COQVERSION := $(shell coqc --version|grep "version 8.5")
+COQVERSION := $(shell coqc --version|egrep "version (8\\.5|8\\.6)")
 
 ifeq "$(COQVERSION)" ""
-$(error "Verdi LockServ is only compatible with Coq version 8.5")
+$(error "Verdi is only compatible with Coq version 8.5 or 8.6")
 endif
 
 COQPROJECT_EXISTS=$(wildcard _CoqProject)