diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-07-31 15:13:41 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-07-31 15:13:41 +0200 |
commit | 0aa08f5d521401644b5c839239de97f587e0a217 (patch) | |
tree | 4f67cedb4eb1d498350b385551a348225825f82e | |
parent | b132e95ddcbc05568f536d955cdb15018ed18db6 (diff) | |
parent | b38c296c99e8a482190eb37e37fc723ac5f75a7c (diff) | |
download | compcert-kvx-0aa08f5d521401644b5c839239de97f587e0a217.tar.gz compcert-kvx-0aa08f5d521401644b5c839239de97f587e0a217.zip |
Merge branch 'master' of github.com:AbsInt/CompCert
-rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -43,6 +43,8 @@ Supported targets: x86_32-cygwin (x86 32 bits, Cygwin environment under Windows) x86_64-linux (x86 64 bits, Linux) x86_64-macosx (x86 64 bits, MacOS X) + rv32-linux (RISC-V 32 bits, Linux) + rv64-linux (RISC-V 64 bits, Linux) manual (edit configuration file by hand) For x86 targets, the "x86_32-" prefix can also be written "ia32-". @@ -470,7 +472,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.6) + 8.6|8.6.1) echo "version $coq_ver -- good!";; ?*) echo "version $coq_ver -- UNSUPPORTED" |