diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-11 15:24:39 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-11 15:24:39 +0200 |
| commit | 0d48fd07e551d3cedd616126400b00464a137835 (patch) | |
| tree | 3b4f7d84098afa656228eb4fb7e457bf04d02d59 | |
| parent | 812ae094557c60847de73c1e9ee198de9c17669d (diff) | |
| download | compcert-kvx-0d48fd07e551d3cedd616126400b00464a137835.tar.gz compcert-kvx-0d48fd07e551d3cedd616126400b00464a137835.zip | |
configure: bump Menhir required version to 20160303
Earlier versions of Menhir run into "string too long" errors in Coq when building on a 32-bit platform.
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -314,7 +314,7 @@ else ocaml_opt_comp=false fi -MENHIR_REQUIRED=20151110 +MENHIR_REQUIRED=20160303 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 |