$(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
+.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)