From af2cd75bc1e8fb119e2ef091f51355db333167ac Mon Sep 17 00:00:00 2001
From: François Pottier <francois.pottier@inria.fr>
Date: Wed, 7 Oct 2015 09:22:37 +0200
Subject: Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.
 Passing --no-stdlib ensures that there is no dependency on Menhir's standard
 library. Passing -v, which is equivalent to --explain --dump, requests the
 generation of pre_parser.automaton, a description of the automaton.

---
 .gitignore    | 1 +
 Makefile.extr | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 107dd3a1..32cbdadf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,6 +39,7 @@ cparser/Parser.v
 cparser/Lexer.ml
 cparser/pre_parser.ml
 cparser/pre_parser.mli
+cparser/pre_parser.automaton
 lib/Readconfig.ml
 lib/Tokenize.ml
 driver/Version.ml
diff --git a/Makefile.extr b/Makefile.extr
index 1bb3eec8..c8d451a2 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -70,7 +70,7 @@ OCAMLC_P4=ocamlfind ocamlc $(COMPFLAGS) $(BITSTRING)
 OCAMLOPT_P4=ocamlfind ocamlopt $(COMPFLAGS) $(BITSTRING)
 OCAMLDEP_P4=ocamlfind ocamldep $(INCLUDES) $(BITSTRING)
 
-MENHIR=menhir --explain
+MENHIR=menhir -v --no-stdlib
 OCAMLLEX=ocamllex -q
 MODORDER=tools/modorder .depend.extr
 
-- 
cgit