LAMBDA-TYPES moved under contrib, fixed (to use the library of Coq even if

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 093a3217dda6c5ffc833a7bf4b37c6db1e1adc79..0cd46a54f7850ce7fc1cf9099f409be4cc630442 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -164,12 +164,15 @@ distclean: clean
 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)
 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)
 cleantests: matitaclean
        @(cd library && make clean)
        @(cd tests && make clean)
+       @(cd contribs/LAMBDA-TYPES && make clean)
 .PHONY: tests tests.opt cleantests
 
 tags: TAGS