X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=127f8a407638086f975ada39664ed1da040f4253;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=4d558519fd9da84e79585e9585027f6e278659af;hpb=2ec306151ac692b5165e9ca30553762cb9be9e33;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 4d558519f..127f8a407 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -27,7 +27,7 @@ OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS)
 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
 
-MATITA_FLAGS =
+MATITA_FLAGS = -noprofile
 NODB=false
 ifeq ($(NODB),true)
 	MATITA_FLAGS += -nodb
@@ -39,14 +39,14 @@ CMOS =				\
 	matitaLog.cmo		\
 	matitaTypes.cmo		\
 	matitaMoo.cmo		\
-	matitaExcPp.cmo 	\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
 	matitamakeLib.cmo	\
 	matitaInit.cmo	\
 	matitaSync.cmo		\
-	matitacleanLib.cmo	\
 	matitaDisambiguator.cmo	\
+	matitaExcPp.cmo 	\
+	matitacleanLib.cmo	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\
 	matitaScript.cmo	\
@@ -61,13 +61,13 @@ CCMOS =				\
 	matitaLog.cmo		\
 	matitaTypes.cmo		\
 	matitaMoo.cmo		\
-	matitaExcPp.cmo 	\
 	matitaMisc.cmo		\
 	matitaDb.cmo		\
 	matitamakeLib.cmo	\
 	matitaInit.cmo \
 	matitaSync.cmo		\
 	matitaDisambiguator.cmo	\
+	matitaExcPp.cmo 	\
 	matitacleanLib.cmo	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\