X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=fcf51b5d05f46ffc252d9b8eaad6a8c3ddb8d6b1;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=e822326d489c2fc4002dc8a7f52bb60f67b6bf24;hpb=66ed4f33ff67b9fe0c28ce4a37eee4834e78e115;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index e822326d4..fcf51b5d0 100644
--- 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