diff options
Diffstat (limited to 'configure')
-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 |