metadata are no longer stored in .moo files.

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 6d32e6eb749f669fc05e317b2a5cecb431d18ada..9b7d720ac0189b057c9773a4fff003ac45b267b1 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -36,18 +36,11 @@ endif
 # objects for matita (GTK GUI)
 CMOS =                         \
        buildTimeConf.cmo       \
-       matitaLog.cmo           \
        matitaTypes.cmo         \
-       matitaMoo.cmo           \
        matitaMisc.cmo          \
-       matitaDb.cmo            \
        matitamakeLib.cmo       \
        matitaInit.cmo          \
-       disambiguatePp.cmo      \
-       matitaSync.cmo          \
-       matitaDisambiguator.cmo \
        matitaExcPp.cmo         \
-       matitacleanLib.cmo      \
        matitaEngine.cmo        \
        matitacLib.cmo          \
        matitaScript.cmo        \
@@ -60,18 +53,11 @@ CMOS =                              \
 # objects for matitac (batch compiler)
 CCMOS =                                \
        buildTimeConf.cmo       \
-       matitaLog.cmo           \
        matitaTypes.cmo         \
-       matitaMoo.cmo           \
        matitaMisc.cmo          \
-       matitaDb.cmo            \
        matitamakeLib.cmo       \
        matitaInit.cmo          \
-       disambiguatePp.cmo      \
-       matitaSync.cmo          \
-       matitaDisambiguator.cmo \
        matitaExcPp.cmo         \
-       matitacleanLib.cmo      \
        matitaEngine.cmo        \
        matitacLib.cmo          \
        $(NULL)
@@ -84,7 +70,6 @@ DEPCMOS = $(CCMOS)
 CLEANCMOS = $(CCMOS)
 MAKECMOS = \
        buildTimeConf.cmo       \
-       matitaLog.cmo           \
        matitamakeLib.cmo       \
        $(NULL)
 PROGRAMS_BYTE = matita matitac cicbrowser matitadep matitaclean matitamake dump_moo
@@ -154,9 +139,9 @@ matita: $(LIB_DEPS) $(CMOS) matita.ml
 matita.opt: $(LIBX_DEPS) $(CMXS) matita.ml
        $(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(CMXS) matita.ml
 
-dump_moo: buildTimeConf.cmo matitaLog.cmo matitaMoo.cmo dump_moo.ml
+dump_moo: buildTimeConf.cmo dump_moo.ml
        $(OCAMLC) $(PKGS) -linkpkg -o $@ $^
-dump_moo.opt: buildTimeConf.cmx matitaLog.cmx matitaMoo.cmx dump_moo.ml
+dump_moo.opt: buildTimeConf.cmx dump_moo.ml
        $(OCAMLOPT) $(PKGS) -linkpkg -o $@ $^
 
 matitac: $(CLIB_DEPS) $(CCMOS) $(MAINCMOS) matitac.ml
@@ -278,7 +263,7 @@ matita.opt.static: $(STATIC_LINK) $(LIBX_DEPS) $(CMXS) matita.ml
                $(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(CMXS) matita.ml \
                $(STATIC_EXTRA_LIBS)
        strip $@
-dump_moo.opt.static: $(STATIC_LINK) buildTimeConf.cmx matitaLog.cmx matitaMoo.cmx dump_moo.ml
+dump_moo.opt.static: $(STATIC_LINK) buildTimeConf.cmx dump_moo.ml
        $(STATIC_LINK) $(STATIC_CLIBS) -- \
                $(OCAMLOPT) $(PKGS) -linkpkg -o $@ $^ \
                $(STATIC_EXTRA_CLIBS)