OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAMLDEP_FLAGS)
INSTALL_PROGRAMS= matita matitac
INSTALL_PROGRAMS_LINKS_MATITA=
-INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitaclean
+INSTALL_PROGRAMS_LINKS_MATITAC= matitaclean
MATITA_FLAGS = -noprofile
NODB=false
applyTransformation.mli \
matitaEngine.mli \
matitaExcPp.mli \
- matitacLib.mli \
matitaInit.mli \
matitaGtkMisc.mli \
virtuals.mli \
applyTransformation.mli \
matitaEngine.mli \
matitaExcPp.mli \
- matitacLib.mli \
matitaInit.mli \
$(NULL)
MAINCMLI = \
- matitadep.mli \
matitaclean.mli \
$(NULL)
# objects for matita (GTK GUI)
MAINCML = $(MAINCMLI:%.mli=%.ml)
PROGRAMS_BYTE = \
- matita matitac matitadep matitaclean
+ matita matitac matitaclean
PROGRAMS = $(PROGRAMS_BYTE)
PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
NOINST_PROGRAMS =
clean-rottened:
find . -type f -name "*.ma.*.rottened" -exec rm {} \;
-matitadep: matitac
- $(H)test -f $@ || ln -s $< $@
-matitadep.opt: matitac.opt
- $(H)test -f $@ || ln -s $< $@
-
matitaclean: matitac
$(H)test -f $@ || ln -s $< $@
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 \
cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests)
cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
-%-test: matitac matitadep matitaclean
+%-test: matitac matitaclean
-cd $* && make -k clean all
-%-test-opt: matitac.opt matitadep.opt matitaclean.opt
+%-test-opt: matitac.opt matitaclean.opt
-cd $* && make -k clean.opt opt
%-cleantests: matitaclean
-cd $* && make clean
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"
$(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) $(MAINCMXS) matitac.ml \
$(STATIC_EXTRA_CLIBS)
strip $@
-matitadep.opt.static: matitac.opt.static
- $(H)test -f $@ || ln -s $< $@
matitaclean.opt.static: matitac.opt.static
$(H)test -f $@ || ln -s $< $@