X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=ab03a892f002094e57d0169af7a0dfe932ef08a9;hb=92682f04ee34e7fb98ee5311646aaa62838f1e17;hp=896529cf43b4ccb6f412278c63abb43fe4acf580;hpb=92a345e67066fc5a039a87b0fb07caa838103780;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index 896529cf4..ab03a892f 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -203,9 +203,12 @@ distclean: clean
 TEST_DIRS = 				\
 	library 			\
 	tests 				\
+	dama				\
+	contribs/CoRN	 	        \
+	contribs/RELATIONAL	 	\
+	contribs/LAMBDA-TYPES 		\
+	contribs/PREDICATIVE-TOPOLOGY 	\
 	$(NULL)
-#	contribs/LAMBDA-TYPES 		\
-#	contribs/PREDICATIVE-TOPOLOGY 	\
 
 .PHONY: tests tests.opt cleantests cleantests.opt
 tests: $(foreach d,$(TEST_DIRS),$(d)-test)