rm -rf autom4te.cache/
tests: matitac
- @scripts/do_tests.sh ./matitac /dev/null tests/*.ma
+ (cd library && make clean all)
+ (cd tests && make clean all)
tests.opt: matitac.opt
- @scripts/do_tests.sh ./matitac.opt /dev/null tests/*.ma
+ (cd library && make clean.opt opt)
+ (cd tests && make clean.opt opt)
.PHONY: tests tests.opt
tags: TAGS