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