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

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 75d878780..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)
@@ -299,7 +308,7 @@ distclean: clean
 tags: TAGS
 .PHONY: TAGS
 TAGS:
-	cd ..; otags -vi -r ocaml/ matita/
+	cd ..; otags -vi -r components/ matita/
 
 #.depend: matitaGeneratedGui.ml matitaGeneratedGui.mli *.ml *.mli