milestone in basic_2, λδ-2A reconstructed

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

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index bbe22f7d159f6610d11a485c4a3c50eeeeb01aa5..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
@@ -265,7 +265,7 @@ INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS)
 endif
 
 install-arch: install_preliminaries 
-install-indep: dist_library 
+install-indep: 
 
 install_preliminaries : install_preliminaries.stamp
 
@@ -285,6 +285,7 @@ endif
                ln -fs matita $(WHERE)/$$p;\
        done
        $(H)cp -a library/ $(WHERE)/ma/standard-library
+       $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
 
        $(H)touch install_preliminaries.stamp