X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=b3fbd5906d94123fc5ce6daf8d2e29568cbfab62;hb=3c8a3783837bf7773437b12a089b8edf93879b5d;hp=6d1135a2303a3232fa5e82358b8752fc51dc8738;hpb=4a62bde42e3655a7829b9281d9b9057dc32c0471;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index 6d1135a23..b3fbd5906 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -28,7 +28,6 @@ ifeq ($(NODB),true)
 endif
 
 MLI = \
-        make.mli		\
 	lablGraphviz.mli	\
 	matitaTypes.mli		\
 	matitaMisc.mli		\
@@ -45,7 +44,6 @@ MLI = \
 	matitaGui.mli		\
 	$(NULL)
 CMLI =				\
-        make.mli		\
 	matitaTypes.mli		\
 	matitaMisc.mli		\
 	matitaExcPp.mli 	\
@@ -111,9 +109,9 @@ links:
 
 linkonly:
 	$(H)echo "  OCAMLC matita.ml"
-	$(H)$(OCAMLC) $(PKGS) -linkpkg -o matita $(CMOS) matita.ml
+	$(H)$(OCAMLC) $(PKGS) -linkpkg -o matita $(CMOS) $(OCAML_DEBUG_FLAGS) matita.ml
 	$(H)echo "  OCAMLC matitac.ml"
-	$(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) matitac.ml
+	$(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) $(OCAML_DEBUG_FLAGS) matitac.ml
 .PHONY: linkonly
 matita: matita.ml $(LIB_DEPS) $(CMOS)
 	$(H)echo "  OCAMLC $<"