]> matita.cs.unibo.it Git - helm.git/commitdiff
library-auto is only tested in native code (in byte code it's too slow)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 3 May 2007 12:09:48 +0000 (12:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 3 May 2007 12:09:48 +0000 (12:09 +0000)
helm/software/matita/Makefile

index 6f62f254652c8ed9a7b1515d920e1deb896af131..b19f646fb84af9835a03a9c529727ac9164caa64 100644 (file)
@@ -210,7 +210,6 @@ distclean: clean
 TEST_DIRS =                            \
        legacy                          \
        library                         \
-       library_auto                    \
        tests                           \
        dama                            \
        contribs/CoRN                   \
@@ -219,11 +218,16 @@ TEST_DIRS =                               \
        contribs/PREDICATIVE-TOPOLOGY   \
        $(NULL)
 
+TEST_DIRS_OPT =                        \
+       $(TEST_DIRS)                    \
+       library_auto                    \
+       $(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