matitaInit.cmo \
matitaExcPp.cmo \
matitaEngine.cmo \
+ applyTransformation.cmo \
matitacLib.cmo \
matitaprover.cmo \
- applyTransformation.cmo \
matitaGtkMisc.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaInit.cmo \
matitaExcPp.cmo \
matitaEngine.cmo \
- matitacLib.cmo \
applyTransformation.cmo \
+ matitacLib.cmo \
matitaWiki.cmo \
matitaprover.cmo \
$(NULL)
contribs/PREDICATIVE-TOPOLOGY \
$(NULL)
+# library_auto \
+TEST_DIRS_OPT = \
+ $(TEST_DIRS) \
+ $(NULL)
+
.PHONY: tests tests.opt cleantests cleantests.opt
tests: $(foreach d,$(TEST_DIRS),$(d)-test)
-tests.opt: $(foreach d,$(TEST_DIRS),$(d)-test-opt)
+tests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-test-opt)
cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests)
-cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt)
+cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
%-test: matitac matitadep matitaclean
-cd $* && make -k clean all