diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:22:37 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:22:37 +0200 |
commit | af2cd75bc1e8fb119e2ef091f51355db333167ac (patch) | |
tree | e80605017eb096c01f8fe2be4b413639fccbf02d /Makefile.extr | |
parent | 7c8693320818d00b26b4c36c2a01a5fe67c0c71b (diff) | |
download | compcert-af2cd75bc1e8fb119e2ef091f51355db333167ac.tar.gz compcert-af2cd75bc1e8fb119e2ef091f51355db333167ac.zip |
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.
Diffstat (limited to 'Makefile.extr')
-rw-r--r-- | Makefile.extr | 2 |
1 files changed, 1 insertions, 1 deletions
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 |