-dist_library: dist_library@library
-dist_library@%:
- @echo "MATITAMAKE init $*"
- $(H)MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-conffile `pwd`/matita.conf.xml" \
- ./matitamake$(BEST_EXT) -conffile `pwd`/matita.conf.xml \
- init $* `pwd`/$*
- @echo "MATITAMAKE publish $*"
- $(H)MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-conffile `pwd`/matita.conf.xml" \
- ./matitamake$(BEST_EXT) -conffile `pwd`/matita.conf.xml \
- publish $*
- @echo "MATITAMAKE destroy $*"
- $(H)MATITA_RT_BASE_DIR=`pwd` \
- MATITA_FLAGS="-conffile `pwd`/matita.conf.xml" \
- ./matitamake$(BEST_EXT) -conffile `pwd`/matita.conf.xml \
- destroy $*
+
+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/