Reshaped structure of ocaml/ libraries, matita changed accordingly.

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 4d558519fd9da84e79585e9585027f6e278659af..6d32e6eb749f669fc05e317b2a5cecb431d18ada 100644 (file)
--- 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,19 +39,21 @@ CMOS =                              \
        matitaLog.cmo           \
        matitaTypes.cmo         \
        matitaMoo.cmo           \
-       matitaExcPp.cmo         \
        matitaMisc.cmo          \
        matitaDb.cmo            \
        matitamakeLib.cmo       \
-       matitaInit.cmo  \
+       matitaInit.cmo          \
+       disambiguatePp.cmo      \
        matitaSync.cmo          \
-       matitacleanLib.cmo      \
        matitaDisambiguator.cmo \
+       matitaExcPp.cmo         \
+       matitacleanLib.cmo      \
        matitaEngine.cmo        \
        matitacLib.cmo          \
        matitaScript.cmo        \
        matitaGeneratedGui.cmo  \
        matitaGtkMisc.cmo       \
+       applyTransformation.cmo \
        matitaMathView.cmo      \
        matitaGui.cmo           \
        $(NULL)
@@ -61,13 +63,14 @@ CCMOS =                             \
        matitaLog.cmo           \
        matitaTypes.cmo         \
        matitaMoo.cmo           \
-       matitaExcPp.cmo         \
        matitaMisc.cmo          \
        matitaDb.cmo            \
        matitamakeLib.cmo       \
-       matitaInit.cmo \
+       matitaInit.cmo          \
+       disambiguatePp.cmo      \
        matitaSync.cmo          \
        matitaDisambiguator.cmo \
+       matitaExcPp.cmo         \
        matitacleanLib.cmo      \
        matitaEngine.cmo        \
        matitacLib.cmo          \