OPT tests restored

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index ed5ebb320869dfc1329ce4b5839a75ac83d0f928..48d4e8af8c17d389aed8bbc8f32b91a85b7f765c 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -34,14 +34,15 @@ CMOS =                              \
        matitaInit.cmo          \
        matitaExcPp.cmo         \
        matitaEngine.cmo        \
+       applyTransformation.cmo \
        matitacLib.cmo          \
        matitaprover.cmo        \
-       applyTransformation.cmo \
        matitaGtkMisc.cmo       \
        matitaScript.cmo        \
        matitaGeneratedGui.cmo  \
        matitaMathView.cmo      \
        matitaGui.cmo           \
+       matitaAutoGui.cmo               \
        $(NULL)
 # objects for matitac (batch compiler)
 CCMOS =                                \
@@ -52,8 +53,8 @@ CCMOS =                               \
        matitaInit.cmo          \
        matitaExcPp.cmo         \
        matitaEngine.cmo        \
-       matitacLib.cmo          \
        applyTransformation.cmo \
+       matitacLib.cmo          \
        matitaWiki.cmo          \
        matitaprover.cmo        \
        $(NULL)
@@ -218,11 +219,16 @@ TEST_DIRS =                               \
        contribs/PREDICATIVE-TOPOLOGY   \
        $(NULL)
 
+#      library_auto                    
+TEST_DIRS_OPT =                        \
+       $(TEST_DIRS)        \
+       $(NULL)
+
 .PHONY: tests tests.opt cleantests cleantests.opt
 tests: $(foreach d,$(TEST_DIRS),$(d)-test)
-tests.opt: $(foreach d,$(TEST_DIRS),$(d)-test-opt)
+tests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-test-opt)
 cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests)
-cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt)
+cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
 
 %-test: matitac matitadep matitaclean 
        -cd $* && make -k clean all