matitaInit.mli \
matitaGtkMisc.mli \
matitaAutoGui.mli \
+ virtuals.mli \
matitaScript.mli \
+ predefined_virtuals.mli \
matitaMathView.mli \
matitaGui.mli \
$(NULL)
$(H)rm -f matita.conf.xml.sample
$(H)rm -rf .matita
-TEST_DIRS = \
- legacy \
- library
- # 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) \
+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)