From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 6 Feb 2006 17:15:30 +0000 (+0000)
Subject: - bugfix: pass -conffile to matitamake
X-Git-Tag: 0.4.95@7852~1719
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=02bf53992de07d18bcd494bcb83d27a794bd6c85;p=helm.git

- bugfix: pass -conffile to matitamake
- more quiet feedback during compilation of stdlib
---

diff --git a/matita/Makefile b/matita/Makefile
index 40a374728..d5db43582 100644
--- a/matita/Makefile
+++ b/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)