-stdlib:
- MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
- ./matitamake -init build_stdlib
+ifeq ($(DISTRIBUTED),yes)
+
+dist_library: dist_library@library
+dist_library_clean:
+ @echo "MATITACLEAN -system all"
+ $(H)./matitaclean$(BEST_EXT) \
+ -system -conffile `pwd`/matita.conf.xml.build all
+dist_library@%:
+ @echo "MATITAMAKE -system init"
+ $(H)MATITA_RT_BASE_DIR=`pwd` \
+ MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
+ ./matitamake$(BEST_EXT) -conffile `pwd`/matita.conf.xml.build \
+ init dist_$* `pwd`/$*
+ @echo "MATITAMAKE -system build"
+ $(H)MATITA_RT_BASE_DIR=`pwd` \
+ MATITA_FLAGS="-system -conffile `pwd`/matita.conf.xml.build" \
+ ./matitamake$(BEST_EXT) -conffile `pwd`/matita.conf.xml.build \
+ build dist_$*
+ touch $@