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: 0.4.95@7852~912
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dcd7c1a413c38bce8fc80198d660fd4dba4094e9;p=helm.git

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

diff --git a/matita/Makefile b/matita/Makefile
index 896529cf4..6b93a0f6e 100644
--- a/matita/Makefile
+++ b/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)