diff options
| author | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2018-06-03 18:26:33 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-06 17:18:18 +0200 |
| commit | b8552c55a3c65a3f598d155aeb764e68841ba501 (patch) | |
| tree | bfedb4c0fd97bceb9dd76490913d5049c032be07 /configure | |
| parent | da76ba512d1efbae8ab5ebcb79eb58c0085a026b (diff) | |
| download | compcert-b8552c55a3c65a3f598d155aeb764e68841ba501.tar.gz compcert-b8552c55a3c65a3f598d155aeb764e68841ba501.zip | |
Fix menhirLib namespaces, following changes in Menhir version 20180530
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -539,7 +539,7 @@ else ocaml_opt_comp=false fi -MENHIR_REQUIRED=20161201 +MENHIR_REQUIRED=20180530 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 |