fixed -f in clean

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index c489fe33d8e0b3f5ca89600683fb99fab642bff3..4e1d7b5b1ad69c988dc8fcef1f55791999eccbc3 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -36,39 +36,28 @@ endif
 # objects for matita (GTK GUI)
 CMOS =                         \
        buildTimeConf.cmo       \
-       matitaLog.cmo           \
        matitaTypes.cmo         \
-       matitaMoo.cmo           \
-       matitaExcPp.cmo         \
        matitaMisc.cmo          \
-       matitaDb.cmo            \
        matitamakeLib.cmo       \
-       matitaInit.cmo  \
-       matitaSync.cmo          \
-       matitacleanLib.cmo      \
-       matitaDisambiguator.cmo \
+       matitaInit.cmo          \
+       matitaExcPp.cmo         \
        matitaEngine.cmo        \
        matitacLib.cmo          \
        matitaScript.cmo        \
        matitaGeneratedGui.cmo  \
        matitaGtkMisc.cmo       \
+       applyTransformation.cmo \
        matitaMathView.cmo      \
        matitaGui.cmo           \
        $(NULL)
 # objects for matitac (batch compiler)
 CCMOS =                                \
        buildTimeConf.cmo       \
-       matitaLog.cmo           \
        matitaTypes.cmo         \
-       matitaMoo.cmo           \
-       matitaExcPp.cmo         \
        matitaMisc.cmo          \
-       matitaDb.cmo            \
        matitamakeLib.cmo       \
-       matitaInit.cmo \
-       matitaSync.cmo          \
-       matitaDisambiguator.cmo \
-       matitacleanLib.cmo      \
+       matitaInit.cmo          \
+       matitaExcPp.cmo         \
        matitaEngine.cmo        \
        matitacLib.cmo          \
        $(NULL)
@@ -81,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
@@ -151,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
@@ -209,7 +197,7 @@ clean:
                $(PROGRAMS_UPX) \
                $(NULL)
 
-tests: matitac matitadep matitaclean
+tests: matitac matitadep matitaclean coq.moo
        @-(cd library && make -k clean all)
        @-(cd tests && make -k clean all)
        @-(cd tests/bad_tests && make -k clean all)
@@ -275,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)