From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 11 Oct 2009 21:42:58 +0000 (+0000)
Subject: no need to compile/install the standard library. if included it
X-Git-Tag: make_still_working~3343
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dc7e826399162e2fde3ddf1f02d5530d6cd11205;p=helm.git

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 bbe22f7d1..544d0fd70 100644
--- 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