applyTransformation.mli \
matitacLib.mli \
matitaInit.mli \
- matitaAutoGui.mli \
matitaGtkMisc.mli \
+ matitaAutoGui.mli \
matitaScript.mli \
matitaMathView.mli \
matitaGui.mli \
TEST_DIRS = \
legacy \
- library \
- tests \
- contribs/dama/dama \
- contribs/assembly \
- contribs/CoRN \
- contribs/RELATIONAL \
- contribs/LOGIC \
- contribs/PREDICATIVE-TOPOLOGY \
+ library
+ # 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)