aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
-rw-r--r--cparser/GNUmakefile2
-rw-r--r--cparser/Lexer.mll2
3 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure
index 02242eef..21aa5c75 100755
--- a/configure
+++ b/configure
@@ -281,7 +281,7 @@ else
ocaml_opt_comp=false
fi
-MENHIR_REQUIRED=20151023
+MENHIR_REQUIRED=20151110
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
diff --git a/cparser/GNUmakefile b/cparser/GNUmakefile
index d83c49e5..a2646c7b 100644
--- a/cparser/GNUmakefile
+++ b/cparser/GNUmakefile
@@ -68,7 +68,7 @@ DATABASE := handcrafted.messages
# We use (GNU) cut when de-lexing examples sentences.
-CUT := $(shell if which gcut >&/dev/null ; then echo gcut ; else echo cut ; fi)
+CUT = $(shell if command -v gcut >/dev/null ; then echo gcut ; else echo cut ; fi)
# ------------------------------------------------------------------------------
diff --git a/cparser/Lexer.mll b/cparser/Lexer.mll
index 23d8ab8d..17c4528c 100644
--- a/cparser/Lexer.mll
+++ b/cparser/Lexer.mll
@@ -470,7 +470,7 @@ and singleline_comment = parse
let lexbuf = Lexing.from_string text in
lexbuf.lex_curr_p <- {lexbuf.lex_curr_p with pos_fname = filename; pos_lnum = 1};
let module I = Pre_parser.MenhirInterpreter in
- let checkpoint = Pre_parser.Incremental.translation_unit_file()
+ let checkpoint = Pre_parser.Incremental.translation_unit_file lexbuf.lex_curr_p
and supplier = I.lexer_lexbuf_to_supplier lexer lexbuf
and succeed () = ()
and fail checkpoint =