]> matita.cs.unibo.it Git - helm.git/commitdiff
Two targets now:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:22:42 +0000 (16:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:22:42 +0000 (16:22 +0000)
 make all
 make verbose

helm/matita/library/Makefile

index 10944f4704899fb3bd716c9c6ab9c0f31d3ca960..322208670b2ee3679bb53d5f0f347442ca46e84b 100644 (file)
@@ -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