From 2f647b0a312dce84b6a922676a4e213aa440bd1c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 14 Nov 2005 18:37:08 +0000 Subject: [PATCH] contribs/PREDICATIVE-TOPOLOGY added as test directory --- helm/matita/.depend | 4 ++-- helm/matita/Makefile.in | 3 +++ 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/helm/matita/.depend b/helm/matita/.depend index f6d37dcf8..a531aed7b 100644 --- a/helm/matita/.depend +++ b/helm/matita/.depend @@ -52,8 +52,8 @@ matitaLog.cmo: matitaLog.cmi matitaLog.cmx: matitaLog.cmi matitamakeLib.cmo: matitaLog.cmi buildTimeConf.cmo matitamakeLib.cmi matitamakeLib.cmx: matitaLog.cmx buildTimeConf.cmx matitamakeLib.cmi -matitamake.cmo: matitamakeLib.cmi buildTimeConf.cmo -matitamake.cmx: matitamakeLib.cmx buildTimeConf.cmx +matitamake.cmo: matitamakeLib.cmi matitaInit.cmi +matitamake.cmx: matitamakeLib.cmx matitaInit.cmx matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ matitaLog.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \ buildTimeConf.cmo matitaMathView.cmi 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 -- 2.39.2