...

[helm.git] / helm / matita / library / Makefile

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 10944f4704899fb3bd716c9c6ab9c0f31d3ca960..97c823eec9ae649014277e9a018502d330ba6242 100644 (file)
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -6,13 +6,17 @@ SRC=\
        nat.ma \
         Z.ma
 
-MATITAC=../matitac
+MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
+VERBOSEMATITAC=../matitac
 
 DEPEND_NAME=.depend
 LINKS=.matita matita.lang matita.conf.xml
 
 all: $(LINKS) $(SRC:%.ma=%.moo)
 
+verbose:
+       make MATITAC=$(VERBOSEMATITAC) all
+
 clean: $(LINKS)
        rm -f $(SRC:%.ma=%.moo)
        ../matitaclean all
@@ -20,8 +24,8 @@ clean: $(LINKS)
 depend: $(DEPEND_NAME)
 
 %.moo:%.ma depend $(LINKS)
-       [ ! -e $@ ] || ../matitaclean $< 
-       $(MATITAC) $< || ../matitaclean $<
+       @[ ! -e $@ ] || ../matitaclean $< 
+       @$(MATITAC) $< || ../matitaclean $<
 
 $(DEPEND_NAME): $(SRC) $(LINKS)
        ../matitadep $(SRC) > $@