From 02bf53992de07d18bcd494bcb83d27a794bd6c85 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 6 Feb 2006 17:15:30 +0000 Subject: [PATCH] - bugfix: pass -conffile to matitamake - more quiet feedback during compilation of stdlib --- matita/Makefile | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) 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) -- 2.39.2