-SRC=\
- apply.ma fguidi.ma letrec.ma replace.ma test3.ma auto.ma first.ma\
- match.ma rewrite.ma test4.ma baseuri.ma fix_betareduction.ma\
- match_inference.ma second.ma third.ma coercions.ma fold.ma\
- mysql_escaping.ma simpl.ma comments.ma inversion.ma record.ma test2.ma
-
-MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
-MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null
+SRC=$(wildcard *.ma)
+
+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