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