$(H)rm -f matita.conf.xml.sample
$(H)rm -rf .matita
-TEST_DIRS = \
- legacy \
- library \
- contribs/character \
- tests \
- contribs/dama/dama \
- contribs/assembly \
- contribs/CoRN \
- contribs/RELATIONAL \
- contribs/LOGIC \
- contribs/PREDICATIVE-TOPOLOGY \
+TEST_DIRS = \
+ legacy \
+ library \
+ contribs/character \
+ tests \
+ contribs/dama/dama \
+ contribs/assembly \
+ contribs/CoRN \
+ contribs/RELATIONAL \
+ contribs/LOGIC \
+ contribs/limits \
$(NULL)
# library_auto
-TEST_DIRS_OPT = \
- $(TEST_DIRS) \
- contribs/LAMBDA-TYPES \
+TEST_DIRS_OPT = \
+ $(TEST_DIRS) \
+ contribs/LAMBDA-TYPES \
$(NULL)
.PHONY: tests tests.opt cleantests cleantests.opt