diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-09-12 16:18:02 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-09-12 16:18:02 +0200 |
commit | 1062e38b07d76d88d9bd11155d8500c157784026 (patch) | |
tree | 8d7d36b6c7497b54b90f36f038f2abd0f970ef38 /configure | |
parent | 5f283eff34c828655a885ef837700009b2221f9b (diff) | |
download | compcert-1062e38b07d76d88d9bd11155d8500c157784026.tar.gz compcert-1062e38b07d76d88d9bd11155d8500c157784026.zip |
Tentatively support Coq 8.8.2
It's not out yet, but based on the state of the v8.8 branch of Coq,
it is very likely to be compatible with CompCert.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -503,14 +503,14 @@ missingtools=false echo "Testing Coq... " | tr -d '\n' coq_ver=$(${COQBIN}coqc -v 2>/dev/null | sed -n -e 's/The Coq Proof Assistant, version \([^ ]*\).*$/\1/p') case "$coq_ver" in - 8.6.1|8.7.0|8.7.1|8.7.2|8.8.0|8.8.1) + 8.6.1|8.7.0|8.7.1|8.7.2|8.8.0|8.8.1|8.8.2) 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." else - echo "Error: CompCert requires one of the following Coq versions: 8.8.1, 8.8.0, 8.7.2, 8.7.1, 8.7.0, 8.6.1" + echo "Error: CompCert requires one of the following Coq versions: 8.8.2, 8.8.1, 8.8.0, 8.7.2, 8.7.1, 8.7.0, 8.6.1" missingtools=true fi;; "") |