applyTransformation.mli \
matitacLib.mli \
matitaInit.mli \
- matitaAutoGui.mli \
matitaGtkMisc.mli \
+ matitaAutoGui.mli \
+ virtuals.mli \
matitaScript.mli \
+ predefined_virtuals.mli \
matitaMathView.mli \
matitaGui.mli \
$(NULL)
TEST_DIRS = \
legacy \
library \
- tests \
- dama \
+ contribs/character \
+ tests \
+ contribs/dama/dama \
+ contribs/assembly \
contribs/CoRN \
contribs/RELATIONAL \
- contribs/LOGIC \
- contribs/LAMBDA-TYPES \
- contribs/PREDICATIVE-TOPOLOGY \
+ contribs/LOGIC \
+ contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
# library_auto
TEST_DIRS_OPT = \
- $(TEST_DIRS) \
+ $(TEST_DIRS) \
+ # contribs/LAMBDA-TYPES \
$(NULL)
.PHONY: tests tests.opt cleantests cleantests.opt
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/
ln -fs matita $(WHERE)/$$p;\
done
$(H)cp -a library/ $(WHERE)/ma/standard-library
- #$(H)cp -a contribs/ $(WHERE)/ma/
+
$(H)touch install_preliminaries.stamp
uninstall: