From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 3 May 2007 12:09:48 +0000 (+0000)
Subject: library-auto is only tested in native code (in byte code it's too slow)
X-Git-Tag: 0.4.95@7852~489
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0724f5f9dc9bcf49097dc20fcd6aed77bc12763c;p=helm.git

library-auto is only tested in native code (in byte code it's too slow)
---

diff --git a/matita/Makefile b/matita/Makefile
index 6f62f2546..b19f646fb 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -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