X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=d5db4358232ea5a304cf7a40e878eabf3bdef8cc;hb=0fba218a0cad769861bda75d175f926f6e765640;hp=40a37472876d4c1856a99f78120b8fa6fed6eb04;hpb=0927e99496346a4b713e454c61a5246b778a0b04;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 40a374728..d5db43582 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -191,9 +191,18 @@ BEST=all
 endif
 
 stdlib:
-	MATITA_RT_BASE_DIR=`pwd` \
+	@echo "MATITACLEAN all"
+	$(H)./matitaclean -system -conffile `pwd`/matita.conf.xml.build all
+	@echo "MATITAMAKE init"
+	$(H)MATITA_RT_BASE_DIR=`pwd` \
 	MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
-		./matitamake -init build_stdlib
+		./matitamake -conffile `pwd`/matita.conf.xml.build \
+			init build_stdlib `pwd`/library
+	@echo "MATITAMAKE build"
+	$(H)MATITA_RT_BASE_DIR=`pwd` \
+	MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
+		./matitamake -conffile `pwd`/matita.conf.xml.build \
+			build build_stdlib
 
 #          MATITA_RT_BASE_DIR=`pwd` \
 		$(MAKE) MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" -C library/ $(BEST)