update in basic_2

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

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index e822326d489c2fc4002dc8a7f52bb60f67b6bf24..fcf51b5d05f46ffc252d9b8eaad6a8c3ddb8d6b1 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -11,7 +11,7 @@ else
   ANNOTOPTION =
 endif
 
-OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION)
+OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION) 
 OCAMLDEP_FLAGS = -pp $(CAMLP5O) 
 PKGS = -package "$(MATITA_REQUIRES)"
 CPKGS = -package "$(MATITA_CREQUIRES)"
@@ -37,9 +37,9 @@ MLI = \
        lablGraphviz.mli        \
        matitaTypes.mli         \
        matitaMisc.mli          \
+       applyTransformation.mli \
        matitaEngine.mli        \
        matitaExcPp.mli         \
-       applyTransformation.mli \
        matitacLib.mli          \
        matitaInit.mli          \
        matitaGtkMisc.mli       \
@@ -53,9 +53,9 @@ MLI = \
 CMLI =                         \
        matitaTypes.mli         \
        matitaMisc.mli          \
+       applyTransformation.mli \
        matitaEngine.mli        \
        matitaExcPp.mli         \
-       applyTransformation.mli \
        matitacLib.mli          \
        matitaInit.mli          \
        matitaWiki.mli          \
@@ -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