...

[helm.git] / helm / software / matita / Makefile

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 7c42dc8182e05e3c06fd6f37798224804804d5dc..fcf51b5d05f46ffc252d9b8eaad6a8c3ddb8d6b1 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -203,7 +203,7 @@ TEST_DIRS =                         \
 #      library_auto                    
 TEST_DIRS_OPT =                \
        $(TEST_DIRS)            \
-       contribs/LAMBDA-TYPES   \
+#      contribs/LAMBDA-TYPES   \
        $(NULL)
 
 .PHONY: tests tests.opt cleantests cleantests.opt