diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 14:03:45 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 14:03:45 +0200 |
commit | c46723c0169145d41d1879c236f53314456f1ba1 (patch) | |
tree | ae48f9e444033d8fe5d449dc03a4b70bb62db7e7 | |
parent | 1f74fdf503d3c501d2e261e76337452f6401d63a (diff) | |
download | compcert-c46723c0169145d41d1879c236f53314456f1ba1.tar.gz compcert-c46723c0169145d41d1879c236f53314456f1ba1.zip |
Updated [configure] to require today's Menhir.
-rwxr-xr-x | configure | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -281,20 +281,21 @@ else ocaml_opt_comp=false fi +MENHIR_REQUIRED=20151023 echo "Testing Menhir... " | tr -d '\n' menhir_ver=`menhir --version 2>/dev/null | sed -n -e 's/^.*version \([0-9]*\).*$/\1/p'` case "$menhir_ver" in 20[0-9][0-9][0-9][0-9][0-9][0-9]) - if test "$menhir_ver" -ge 20140422; then + if test "$menhir_ver" -ge $MENHIR_REQUIRED; then echo "version $menhir_ver -- good!" else echo "version $menhir_ver -- UNSUPPORTED" - echo "Error: CompCert requires Menhir version 20140422 or later." + echo "Error: CompCert requires Menhir version $MENHIR_REQUIRED or later." missingtools=true fi;; *) echo "NOT FOUND" - echo "Error: make sure Menhir version 20140422 or later is installed." + echo "Error: make sure Menhir version $MENHIR_REQUIRED or later is installed." missingtools=true;; esac |