legacy \
library \
tests \
- dama \
+ contribs/dama/dama \
+ contribs/assembly \
contribs/CoRN \
contribs/RELATIONAL \
contribs/LOGIC \
ifeq ($(DISTRIBUTED),yes)
-dist_library: install_preliminaries dist_library@library
-dist_library@%:
- $(H)echo "depend $*"
- $(H)cd $*;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitadep)
- $(H)echo "publish $*"
- $(H)cd $*;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system -noinnertypes)
- $(H)echo "destroy $*"
- $(H)cd $*;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean)
+dist_library: install_preliminaries
+ $(H)echo "depend"
+ $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitadep)
+ $(H)echo "publish"
+ $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system -noinnertypes)
+ $(H)echo "destroy"
+ $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean)
# sqlite3 only
$(H)cp $(WHERE)/.matita/matita.db $(WHERE)/metadata.db || true
#$(H)rm -rf $(WHERE)/.matita/
$(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
ln -fs matita $(WHERE)/$$p;\
done
- $(H)cd library;../matitadep
$(H)cp -a library/ $(WHERE)/ma/standard-library
$(H)touch install_preliminaries.stamp