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
$(H)rm -rf .matita
TEST_DIRS = \
+ legacy \
library \
tests \
+ dama \
+ contribs/CoRN \
+ contribs/RELATIONAL \
contribs/LAMBDA-TYPES \
contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
$(H)$(OCAMLDEP) *.ml *.mli > .depend
depend.opt:
$(H)echo " OCAMLDEP -native"
- $(H)$(OCAMLDEP) -native *.ml *.mli > .depend
+ $(H)$(OCAMLDEP) -native *.ml *.mli > .depend.opt
+
+ifeq ($(MAKECMDGOALS),)
+ include .depend
+endif
-ifneq ($(MAKECMDGOALS), depend)
- ifneq ($(MAKECMDGOALS), depend.opt)
- include .depend
- endif
+ifeq ($(MAKECMDGOALS), all)
+ include .depend
+endif
+
+ifeq ($(MAKECMDGOALS), opt)
+ include .depend.opt
endif
%.cmi: %.mli
$(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