TEST_DIRS = \
legacy \
- library
- # tests \
- # contribs/dama/dama \
- # contribs/assembly \
- # contribs/CoRN \
- # contribs/RELATIONAL \
- # contribs/LOGIC \
- # contribs/PREDICATIVE-TOPOLOGY \
+ library \
+ contribs/character \
+ tests \
+ contribs/dama/dama \
+ contribs/assembly \
+ contribs/CoRN \
+ contribs/RELATIONAL \
+ contribs/LOGIC \
+ contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
# library_auto
TEST_DIRS_OPT = \
$(TEST_DIRS) \
+ # contribs/LAMBDA-TYPES \
$(NULL)
- #contribs/LAMBDA-TYPES \
.PHONY: tests tests.opt cleantests cleantests.opt
tests: $(foreach d,$(TEST_DIRS),$(d)-test)