X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2FMakefile;h=b19f646fb84af9835a03a9c529727ac9164caa64;hb=efce71f56f343e316b2cd4834cbf3f5dcb3571eb;hp=ed5ebb320869dfc1329ce4b5839a75ac83d0f928;hpb=b16e7f7eac1eef4210e9793f5c92f12a466c34c7;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index ed5ebb320..b19f646fb 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -34,9 +34,9 @@ CMOS =				\
 	matitaInit.cmo		\
 	matitaExcPp.cmo 	\
 	matitaEngine.cmo	\
+	applyTransformation.cmo	\
 	matitacLib.cmo		\
 	matitaprover.cmo        \
-	applyTransformation.cmo	\
 	matitaGtkMisc.cmo	\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
@@ -52,8 +52,8 @@ CCMOS =				\
 	matitaInit.cmo		\
 	matitaExcPp.cmo 	\
 	matitaEngine.cmo	\
-	matitacLib.cmo		\
 	applyTransformation.cmo	\
+	matitacLib.cmo		\
 	matitaWiki.cmo		\
 	matitaprover.cmo        \
 	$(NULL)
@@ -218,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