From a8a59e25447e61f4250d54187854cc3a36038c37 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 6 Jul 2017 19:05:20 +0200
Subject: Add a -ignore-coq-version flag to configure (continued)

These Coq people have version "numbers" that look nothing like numbers, such as "trunk".  Also, they didn't test their pull request #188.  Fixing this.
---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index d47174ec..d9738f2d 100755
--- a/configure
+++ b/configure
@@ -465,7 +465,7 @@ coq_ver=$(${COQBIN}coqc -v 2>/dev/null | sed -n -e 's/The Coq Proof Assistant, v
 case "$coq_ver" in
   8.6)
         echo "version $coq_ver -- good!";;
-  ?.*)
+  ?*)
         echo "version $coq_ver -- UNSUPPORTED"
         if $ignore_coq_version; then
             echo "Warning: this version of Coq is unsupported, proceed at your own risks."
@@ -473,7 +473,7 @@ case "$coq_ver" in
             echo "Error: CompCert requires Coq version 8.6."
             missingtools=true
         fi;;
-  *)
+  "")
         echo "NOT FOUND"
         echo "Error: make sure Coq version 8.6 is installed."
         missingtools=true;;
-- 
cgit