diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-26 13:00:45 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-26 13:00:45 +0100 |
commit | 51b059d9a5559cf06e13e82bcda3da9f1c70fad1 (patch) | |
tree | d2060251ae147a565e2d6297666effc5fe7fa7a0 /configure | |
parent | 94163429293cef7410320f79fc5964fc546fccef (diff) | |
parent | 52c4f2622a32a88f9470111542b547514e6b21cc (diff) | |
download | compcert-51b059d9a5559cf06e13e82bcda3da9f1c70fad1.tar.gz compcert-51b059d9a5559cf06e13e82bcda3da9f1c70fad1.zip |
Merge branch 'fpottier-clean'
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 |