diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-12-03 13:01:51 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-12-03 13:01:51 +0100 |
| commit | ec49c7b8bd4502c380b88c78baa674000db109fd (patch) | |
| tree | ed8ef5dcfe636a70b33385868fe8d2793606928c | |
| parent | a99406bbd9c01dc04e79b14681a254fe22c9d424 (diff) | |
| download | compcert-kvx-ec49c7b8bd4502c380b88c78baa674000db109fd.tar.gz compcert-kvx-ec49c7b8bd4502c380b88c78baa674000db109fd.zip | |
Allow Coq 8.10.2.
| -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.8.0|8.8.1|8.8.2|8.9.0|8.9.1|8.10.0|8.10.1|8.10.2) echo "version $coq_ver -- good!";; ?*) echo "version $coq_ver -- UNSUPPORTED" |