diff options
| author | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 15:18:48 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 15:31:17 +0100 |
| commit | c514b1e62302bb674075cd32a412ed47a57cbb5b (patch) | |
| tree | 638ad6aac8d972119abe663e2033c8b3d86a55ed | |
| parent | 88bf09d3673dbda96c216a3e037d503a9664795e (diff) | |
| download | compcert-c514b1e62302bb674075cd32a412ed47a57cbb5b.tar.gz compcert-c514b1e62302bb674075cd32a412ed47a57cbb5b.zip | |
Bump required version of Menhir to 20161201.
Menhir's Coq backend has been updated to support Coq 8.6.
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -448,7 +448,7 @@ else ocaml_opt_comp=false fi -MENHIR_REQUIRED=20160303 +MENHIR_REQUIRED=20161201 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 |