-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_$*
+
+MATITA_CFLAGS = #-nodb
+
+dist_library: install_preliminaries dist_library@standard-library
+dist_library@%:
+ $(H)echo "MATITAMAKE init $*"
+ $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake init $* $(WHERE)/ma/$*)
+ $(H)echo "MATITAMAKE publish $*"
+ $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake publish $*)
+ $(H)echo "MATITAMAKE destroy $*"
+ $(H)(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitamake destroy $*)
+ # sqlite3 only
+ $(H)cp $(WHERE)/.matita/matita.db $(WHERE)/metadata.db || true
+ #$(H)rm -rf $(WHERE)/.matita/