%-test: matitac matitadep matitaclean coq.moo
-cd $* && make -k clean all
-%-test-opt: matitac.opt matitadep.opt matitaclean.opt
+%-test-opt: matitac.opt matitadep.opt matitaclean.opt coq.moo.opt
-cd $* && make -k clean.opt opt
%-cleantests: matitaclean
-cd $* && make clean