TEST_DIRS = \
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)
$(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