-SRC=\
- bool.ma\
- compare.ma\
- equality.ma\
- logic.ma\
- nat.ma \
- Z.ma
-
-MATITAC=../scripts/do_tests.sh ../matitac echo /dev/null
-MATITACOPT=../scripts/do_tests.sh ../matitac.opt echo /dev/null
+SRC=$(shell find . -name "*.ma" -a -type f)
+
+MATITAC=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null
+MATITACOPT=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null