Most warnings turned into errors and avoided

[helm.git] / matita / components / grafite_parser / Makefile

diff --git a/matita/components/grafite_parser/Makefile b/matita/components/grafite_parser/Makefile
index 3bf2dfa6259b4dc86b613f1a3f70b30f6928809e..b5b20bb60dc3c6a7dba8327020d58b9da6f9228c 100644 (file)
--- 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