From dc7e826399162e2fde3ddf1f02d5530d6cd11205 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 11 Oct 2009 21:42:58 +0000 Subject: [PATCH] no need to compile/install the standard library. if included it will be compiled on the fly in user space --- helm/software/matita/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2