From 95295e8f5fecac6f4ba11c5cd5aec80fe25bc8e9 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 16:22:42 +0000
Subject: [PATCH] Two targets now:  make all  make verbose

---
 helm/matita/library/Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 10944f470..322208670 100644
--- 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 /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
-- 
2.39.2