matitaExcPp.cmo \
matitaEngine.cmo \
matitacLib.cmo \
+ matitaprover.cmo \
applyTransformation.cmo \
matitaGtkMisc.cmo \
matitaScript.cmo \
$(H)ln -sf matita.opt matita
$(H)ln -sf matitac.opt matitac
+linkonly:
+ $(H)echo " OCAMLC matita.ml"
+ $(H)$(OCAMLC) $(PKGS) -linkpkg -o matita $(CMOS) matita.ml
+ $(H)echo " OCAMLC matitac.ml"
+ $(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) matitac.ml
+.PHONY: linkonly
matita: matita.ml $(LIB_DEPS) $(CMOS)
$(H)echo " OCAMLC $<"
$(H)$(OCAMLC) $(PKGS) -linkpkg -o $@ $(CMOS) matita.ml
TEST_DIRS = \
library \
tests \
- contribs/LAMBDA-TYPES \
- contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
+# contribs/LAMBDA-TYPES \
+# contribs/PREDICATIVE-TOPOLOGY \
.PHONY: tests tests.opt cleantests cleantests.opt
tests: $(foreach d,$(TEST_DIRS),$(d)-test)
gdome \
mysqlclient \
$(NULL)
+STATIC_CLIBS_PROVER = \
+ $(STATIC_CLIBS) \
+ z \
+ pcre \
+ expat \
+ xml2 \
+ glib-2.0 \
+ $(NULL)
STATIC_EXTRA_CLIBS =
PROGRAMS_STATIC = $(patsubst %,%.static,$(PROGRAMS_OPT))
PROGRAMS_UPX = $(patsubst %,%.upx,$(PROGRAMS_STATIC))
$(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) $(MAINCMXS) matitac.ml \
$(STATIC_EXTRA_CLIBS)
strip $@
+matitaprover.opt.static: $(STATIC_LINK) $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS) matitac.ml
+ $(STATIC_LINK) $(STATIC_CLIBS_PROVER) -- \
+ $(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) $(MAINCMXS) matitac.ml \
+ $(STATIC_EXTRA_CLIBS);
+ strip $@
matitadep.opt.static: matitac.opt.static
$(H)test -f $@ || ln -s $< $@
-matitaprover.opt.static: matitac.opt.static
- $(H)test -f $@ || ln -s $< $@
matitaclean.opt.static: matitac.opt.static
$(H)test -f $@ || ln -s $< $@
matitamake.opt.static: matitac.opt.static
$(CMOS): $(LIB_DEPS)
$(CMOS:%.cmo=%.cmx): $(LIBX_DEPS)
+deps.ps: deps.dot
+ dot -Tps -o $@ $<
+deps.dot: .depend
+ ./dep2dot.rb < $< | tred > $@
+
ifeq ($(MAKECMDGOALS),all)
$(CMOS:%.cmo=%.cmi): $(LIB_DEPS)
endif