matitaExcPp.cmo \
matitaEngine.cmo \
matitacLib.cmo \
+ matitaprover.cmo \
applyTransformation.cmo \
matitaGtkMisc.cmo \
matitaScript.cmo \
TEST_DIRS = \
library \
tests \
- contribs/LAMBDA-TYPES \
- contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
+# contribs/LAMBDA-TYPES \
+# contribs/PREDICATIVE-TOPOLOGY \
.PHONY: tests tests.opt cleantests cleantests.opt
tests: $(foreach d,$(TEST_DIRS),$(d)-test)