From 55c7ce386bf1207d53f34c2f86d90017da412845 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Thu, 27 Apr 2017 21:47:14 -0500
Subject: [PATCH] fix 8.6 Makefile issues

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f80da9a..2a7ab76 100644
--- 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)