diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-06-08 12:33:52 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-06-08 12:33:52 +0200 |
| commit | 5e29f8b5ba9582ecf2a1d0baeaef195873640607 (patch) | |
| tree | e8a0cc9a83816368fbbc4dab6e92c621ce3bf189 /configure | |
| parent | caaaffd31f63f1239a2371f418ff448651752ff8 (diff) | |
| download | compcert-kvx-5e29f8b5ba9582ecf2a1d0baeaef195873640607.tar.gz compcert-kvx-5e29f8b5ba9582ecf2a1d0baeaef195873640607.zip | |
Compatibility with coq 8.11.2
Updated configure script to also allow coq version 8.11.2
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -530,7 +530,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.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) echo "version $coq_ver -- good!";; ?*) echo "version $coq_ver -- UNSUPPORTED" |