no need to compile/install the standard library. if included it

will be compiled on the fly in user space

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index bbe22f7d159f6610d11a485c4a3c50eeeeb01aa5..544d0fd7024bd0521849926f1ab301c74d6e89d8 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -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