diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile.extr | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -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 |