all initialization code is now in the new matitaInit.ml module.

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 0cd46a54f7850ce7fc1cf9099f409be4cc630442..a519950b0f1b94cb90530e23aaf1d9bc7518280e 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -29,12 +29,13 @@ CMOS =                              \
        matitaExcPp.cmo         \
        matitaMisc.cmo          \
        matitaDb.cmo            \
+       matitamakeLib.cmo       \
+       matitaInit.cmo  \
        matitaSync.cmo          \
        matitacleanLib.cmo      \
        matitaDisambiguator.cmo \
        matitaEngine.cmo        \
        matitacLib.cmo          \
-       matitamakeLib.cmo       \
        matitaScript.cmo        \
        matitaGeneratedGui.cmo  \
        matitaGtkMisc.cmo       \
@@ -49,6 +50,8 @@ CCMOS =                               \
        matitaExcPp.cmo         \
        matitaMisc.cmo          \
        matitaDb.cmo            \
+       matitamakeLib.cmo       \
+       matitaInit.cmo \
        matitaSync.cmo          \
        matitaDisambiguator.cmo \
        matitacleanLib.cmo      \
@@ -56,7 +59,7 @@ CCMOS =                               \
        matitacLib.cmo          \
        $(NULL)
 CLEANCMOS = $(CCMOS)
-MAKECMOS = $(CCMOS) matitamakeLib.cmo
+MAKECMOS = $(CCMOS) 
 
 all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean matitamake
 
@@ -153,6 +156,7 @@ clean:
                cicbrowser cicbrowser.opt       \
                matitadep matitadep.opt \
                matitaclean matitaclean.opt \
+               matitamake matitamake.opt \
                matitatop matitatop.opt
 distclean: clean
        rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
@@ -164,11 +168,11 @@ distclean: clean
 tests: matitac matitadep matitaclean
        @(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
        @(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
-       @(cd contribs/LAMBDA-TYPES && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
+       @(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac ../../matitaclean /dev/null" clean all)
 tests.opt: matitac.opt matitadep.opt matitaclean.opt
        @(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
        @(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
-       @(cd contribs/LAMBDA-TYPES && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
+       @(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac.opt ../../matitaclean.opt /dev/null" clean.opt opt)
 cleantests: matitaclean
        @(cd library && make clean)
        @(cd tests && make clean)