matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaGtkMisc.cmo \
- matitaGui.cmo \
matitaMathView.cmo \
+ matitaGui.cmo \
$(NULL)
# objects for matitac (batch compiler)
CCMOS = \
cicbrowser cicbrowser.opt \
matitadep matitadep.opt \
matitaclean matitaclean.opt \
+ matitamake matitamake.opt \
matitatop matitatop.opt
distclean: clean
rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
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