diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-12-09 15:09:08 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-12-09 15:09:08 +0100 |
| commit | 7429e1f28da407de3dc64de9394dc4eab9c783a8 (patch) | |
| tree | 0402177a460a248939ed982bab763fe6ba909401 /configure | |
| parent | 37de1399449067121a8bb9a51a7cc7a043ad17e2 (diff) | |
| parent | ec49c7b8bd4502c380b88c78baa674000db109fd (diff) | |
| download | compcert-kvx-7429e1f28da407de3dc64de9394dc4eab9c783a8.tar.gz compcert-kvx-7429e1f28da407de3dc64de9394dc4eab9c783a8.zip | |
Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-upstream-merge
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -568,7 +568,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" |