* Part of matita that used to deal with the library moved into ocaml/library

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 6d32e6eb749f669fc05e317b2a5cecb431d18ada..32eccedd461f90874f8b6dfc3e7ac2a7ad6b73e7 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -36,18 +36,14 @@ 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 +56,14 @@ 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 +76,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 +145,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 +269,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)