- bugfix: pass -conffile to matitamake

- more quiet feedback during compilation of stdlib

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 40a37472876d4c1856a99f78120b8fa6fed6eb04..d5db4358232ea5a304cf7a40e878eabf3bdef8cc 100644 (file)
--- 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)