applyTransformation.mli \
matitacLib.mli \
matitaInit.mli \
- matitaAutoGui.mli \
matitaGtkMisc.mli \
+ matitaAutoGui.mli \
matitaScript.mli \
matitaMathView.mli \
matitaGui.mli \
TEST_DIRS = \
legacy \
library \
- tests \
- dama \
+ contribs/character \
+ tests \
+ contribs/dama/dama \
+ contribs/assembly \
contribs/CoRN \
contribs/RELATIONAL \
- contribs/LOGIC \
- contribs/LAMBDA-TYPES \
- contribs/PREDICATIVE-TOPOLOGY \
+ contribs/LOGIC \
+ contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
# library_auto
TEST_DIRS_OPT = \
- $(TEST_DIRS) \
+ $(TEST_DIRS) \
+ # contribs/LAMBDA-TYPES \
$(NULL)
.PHONY: tests tests.opt cleantests cleantests.opt