diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-11-04 16:08:28 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-11-04 16:08:28 +0100 |
commit | a8f87aa382b192c6392cb506ca204599fe7fd86a (patch) | |
tree | 8dd55e70c5e7c469a22c93cbadfa59281a11995f | |
parent | ba1a2f8f667202a53412e39e7b26091051d59630 (diff) | |
download | compcert-a8f87aa382b192c6392cb506ca204599fe7fd86a.tar.gz compcert-a8f87aa382b192c6392cb506ca204599fe7fd86a.zip |
allow Cow version 8.5pl3
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -407,7 +407,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.5pl2) + 8.5pl2|8.5pl3) echo "version $coq_ver -- good!";; ?.*) echo "version $coq_ver -- UNSUPPORTED" |