CSC: terrific bug fixed. Enrico commented the application of eta_fix to the body

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

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 1b73fe2da0da33ac1b83959be43d1bc5af2c0924..c6b6f0b1ffe08f4b73020ec814811216881dc143 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -218,11 +218,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