diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:40:00 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:40:00 +0200 |
| commit | a6b15496744c19a54ab52c96d1dca441cd7ad1b8 (patch) | |
| tree | b6e1432fed8bfc3810d26416846513201595659a /Makefile.extr | |
| parent | 82435bab1bf71c37c645f0853bf02b3d4224bc6d (diff) | |
| download | compcert-a6b15496744c19a54ab52c96d1dca441cd7ad1b8.tar.gz compcert-a6b15496744c19a54ab52c96d1dca441cd7ad1b8.zip | |
Add -la 1 to Menhir's invocation, to see statistics and warnings.
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 c8d451a2..8dcbdc33 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 -v --no-stdlib +MENHIR=menhir -v --no-stdlib -la 1 OCAMLLEX=ocamllex -q MODORDER=tools/modorder .depend.extr |