diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-06 19:05:20 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-06 19:05:20 +0200 |
commit | a8a59e25447e61f4250d54187854cc3a36038c37 (patch) | |
tree | 47ab8dd8b45f80875130bfc054ae7897af82eab6 | |
parent | 2ff53c2361773f28027ccc8332e1830686d5bbc6 (diff) | |
download | compcert-a8a59e25447e61f4250d54187854cc3a36038c37.tar.gz compcert-a8a59e25447e61f4250d54187854cc3a36038c37.zip |
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.
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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;; |