buildTimeConf.cmo \
matitaLog.cmo \
matitaTypes.cmo \
+ matitaMoo.cmo \
matitaExcPp.cmo \
matitaMisc.cmo \
matitaDb.cmo \
buildTimeConf.cmo \
matitaLog.cmo \
matitaTypes.cmo \
+ matitaMoo.cmo \
matitaExcPp.cmo \
matitaMisc.cmo \
matitaDb.cmo \
$(NULL)
CLEANCMOS = $(CCMOS)
MAKECMOS = $(CCMOS)
+PROGRAMS_BYTE = matita matitac cicbrowser matitadep matitaclean matitamake
+PROGRAMS = $(PROGRAMS_BYTE) matitatop dump_moo
+PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
-all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean matitamake
+all: matita.conf.xml $(PROGRAMS)
matita.conf.xml: matita.conf.xml.sample
@if diff matita.conf.xml.sample matita.conf.xml 1>/dev/null 2>/dev/null; then\
CLEANLIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(CLEANREQUIRES))
MAKELIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MAKEREQUIRES))
MAKELIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MAKEREQUIRES))
-opt: matita.opt matitac.opt cicbrowser.opt matitadep.opt matitaclean.opt matitamake.opt
+opt: $(PROGRAMS_OPT)
else
opt:
@echo "Native code compilation is disabled"
matita.opt: $(LIBX_DEPS) $(CMXS) matita.ml
$(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(CMXS) matita.ml
+dump_moo: buildTimeConf.cmo matitaLog.cmo matitaMoo.cmo dump_moo.ml
+ $(OCAMLC) $(PKGS) -linkpkg -o $@ $^
+
matitac: $(CLIB_DEPS) $(CCMOS) matitac.ml
$(OCAMLC) $(CPKGS) -linkpkg -o $@ $(CCMOS) matitac.ml
matitac.opt: $(CLIBX_DEPS) $(CCMXS) matitac.ml
matitadep matitadep.opt \
matitaclean matitaclean.opt \
matitamake matitamake.opt \
- matitatop matitatop.opt
+ matitatop matitatop.opt \
+ dump_moo
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
rm -f config.log config.status Makefile buildTimeConf.ml