From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Oct 2006 13:09:35 +0000 (+0000)
Subject: I do not understand at all why Enrico removed the contribs from the bench!
X-Git-Tag: make_still_working~6771
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=df9f7c2c1fb5afb50726a17a7171295a9defd228;p=helm.git

I do not understand at all why Enrico removed the contribs from the bench!
---

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