matitaExcPp.cmo \
matitaMisc.cmo \
matitaDb.cmo \
+ matitamakeLib.cmo \
+ matitaInit.cmo \
matitaSync.cmo \
matitacleanLib.cmo \
matitaDisambiguator.cmo \
matitaEngine.cmo \
matitacLib.cmo \
- matitamakeLib.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaGtkMisc.cmo \
matitaExcPp.cmo \
matitaMisc.cmo \
matitaDb.cmo \
+ matitamakeLib.cmo \
+ matitaInit.cmo \
matitaSync.cmo \
matitaDisambiguator.cmo \
matitacleanLib.cmo \
matitacLib.cmo \
$(NULL)
CLEANCMOS = $(CCMOS)
-MAKECMOS = $(CCMOS) matitamakeLib.cmo
+MAKECMOS = $(CCMOS)
all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean matitamake
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