X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=b7b85ad4b981d3be007d6d132aef3bdeebebd722;hb=2f647b0a312dce84b6a922676a4e213aa440bd1c;hp=ba4a48b124a6172ca0706c4a0cde0a1ed8b7d07f;hpb=fc8c8c46a0f97ab7f69898bcccbae6a6a8d2591b;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index ba4a48b12..b7b85ad4b 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -213,14 +213,17 @@ tests: matitac matitadep matitaclean
 	@(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
 	@(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
 	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac ../../matitaclean /dev/null" clean all)
+	@(cd contribs/PREDICATIVE-TOPOLOGY && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac ../../matitaclean /dev/null" clean all)
 tests.opt: matitac.opt matitadep.opt matitaclean.opt
 	@(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
 	@(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
 	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac.opt ../../matitaclean.opt /dev/null" clean.opt opt)
+	@(cd contribs/PREDICATIVE-TOPOLOGY && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac.opt ../../matitaclean.opt /dev/null" clean.opt opt)
 cleantests: matitaclean
 	@(cd library && make clean)
 	@(cd tests && make clean)
 	@(cd contribs/LAMBDA-TYPES && make clean)
+	@(cd contribs/PREDICATIVE-TOPOLOGY && make clean)
 .PHONY: tests tests.opt cleantests
 
 # {{{ Distribution stuff