+ ./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