-ifeq ($(DISTRIBUTED),yes)
-
-
-dist_library: install_preliminaries
- $(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/
- touch $@
-
-endif
-
-dist_pre: matitaGeneratedGui.ml