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)