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

diff --git a/matita/Makefile b/matita/Makefile
index 896529cf43b4ccb6f412278c63abb43fe4acf580..6b93a0f6e4828f4667dbfcf7ca598c066ea0467e 100644 (file)
--- 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)