nat.ma \
Z.ma
-MATITAC=../scripts/do_tests.sh ../matitac /dev/null
+MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
VERBOSEMATITAC=../matitac
DEPEND_NAME=.depend
depend: $(DEPEND_NAME)
%.moo:%.ma depend $(LINKS)
- [ ! -e $@ ] || ../matitaclean $<
- $(MATITAC) $< || ../matitaclean $<
+ @[ ! -e $@ ] || ../matitaclean $<
+ @$(MATITAC) $< || ../matitaclean $<
$(DEPEND_NAME): $(SRC) $(LINKS)
../matitadep $(SRC) > $@