X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2FMakefile;h=b5b20bb60dc3c6a7dba8327020d58b9da6f9228c;hb=3220eee6c3dd2968727c5c595d6ca78e89291b5f;hp=3bf2dfa6259b4dc86b613f1a3f70b30f6928809e;hpb=cf8b1c25a0011ca2a8a856b39e046da33c451221;p=helm.git

diff --git a/matita/components/grafite_parser/Makefile b/matita/components/grafite_parser/Makefile
index 3bf2dfa62..b5b20bb60 100644
--- a/matita/components/grafite_parser/Makefile
+++ b/matita/components/grafite_parser/Makefile
@@ -22,8 +22,8 @@ depend: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS)
 depend.opt: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS)
 # </cross>
 #
-grafiteParser.cmo: OCAMLC = $(OCAMLC_P4)
-grafiteParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
+grafiteParser.cmo: OCAMLC = $(OCAMLC_P4) -w -27
+grafiteParser.cmx: OCAMLOPT = $(OCAMLOPT_P4) -w -27
 
 include ../../Makefile.defs
 include ../Makefile.common