From 0724f5f9dc9bcf49097dc20fcd6aed77bc12763c Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 3 May 2007 12:09:48 +0000
Subject: [PATCH] library-auto is only tested in native code (in byte code it's
 too slow)

---
 matita/Makefile | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

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
-- 
2.39.2