matitaInit.mli \
matitaGtkMisc.mli \
virtuals.mli \
- matitaScript.mli \
+ cicMathView.mli \
predefined_virtuals.mli \
matitaMathView.mli \
+ matitaScript.mli \
matitaGui.mli \
$(NULL)
CMLI = \
matitaclean.opt: matitac.opt
$(H)test -f $@ || ln -s $< $@
-matitaGeneratedGui.ml: matita.glade
+matitaGeneratedGui.ml: matita.glade.utf8
$(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
+matita.glade.utf8: matita.glade
+ $(H)xmllint --encode UTF8 $< > $@
+
.PHONY: clean
clean:
$(H)rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o \
# {{{ Distribution stuff
-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
$(MAKE) -C dist/ dist_pre
matita.gtkrc \
matita.lang \
matita.ma.templ \
- core_notation.moo \
matita.conf.xml \
closed.xml \
- gtkmathview.matita.conf.xml \
AUTHORS \
LICENSE \
$(NULL)
$(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
ln -fs matita $(WHERE)/$$p;\
done
- $(H)cp -a library/ $(WHERE)/ma/standard-library
- $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
+ $(H)cp -a lib $(WHERE)/lib
$(H)touch install_preliminaries.stamp