X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FMakefile;h=d40a15c7a6eb5d4286d2ecae4d01fd1ce6dd6188;hb=84b38ac86f1f92b91ae8913cd0dbcb5c3485dc3a;hp=210920abe280e144ba9e1f864479bbb6f90f017d;hpb=a823c605d3a541c8d7df2bcc3c21bf459c9d25c4;p=helm.git

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index 210920abe..d40a15c7a 100644
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -11,7 +11,7 @@ else
   ANNOTOPTION =
 endif
 
-OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION) -w -52
+OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION) -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7
 OCAMLDEP_FLAGS = -pp $(CAMLP5O) 
 PKGS = -package "$(MATITA_REQUIRES)"
 CPKGS = -package "$(MATITA_CREQUIRES)"
@@ -143,8 +143,7 @@ matitaclean.opt: matitac.opt
 	$(H)test -f $@ || ln -s $< $@
 
 matitaGeneratedGui.ml: matita.ui
-	#$(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
-	$(H)$(LABLGLADECC) $< > matitaGeneratedGui.ml
+	$(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
 
 
 .PHONY: clean