diff options
-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" |