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)"
$(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