diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-12-16 15:52:48 +0100 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-12-16 15:52:48 +0100 |
commit | 5b5682a4d4ebb102002616015adab46154597b10 (patch) | |
tree | b9f8833c35558ae7c636d46c548b4bc01adda194 /configure | |
parent | dc413cc8b95c4205af4de247de69a166284ecf99 (diff) | |
download | compcert-kvx-5b5682a4d4ebb102002616015adab46154597b10.tar.gz compcert-kvx-5b5682a4d4ebb102002616015adab46154597b10.zip |
upgrade kvx backend to coq.8.12.2
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -565,7 +565,7 @@ 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.8.0|8.8.1|8.8.2|8.9.0|8.9.1|8.10.0|8.10.1|8.10.2|8.11.0|8.11.1|8.11.2|8.12.0|8.12.1) + 8.8.0|8.8.1|8.8.2|8.9.0|8.9.1|8.10.0|8.10.1|8.10.2|8.11.0|8.11.1|8.11.2|8.12.0|8.12.1|8.12.2) echo "version $coq_ver -- good!";; ?*) echo "version $coq_ver -- UNSUPPORTED" |