From 822aaaeb5bb49fb6547242e28a6f19f22bf5f105 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 16:40:54 +0000
Subject: [PATCH] new targets:   opt   verbose.opt

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

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 97c823eec..ed81e3eca 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -7,16 +7,24 @@ SRC=\
         Z.ma
 
 MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
+MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null
 VERBOSEMATITAC=../matitac
+VERBOSEMATITACOPT=../matitac.opt
 
 DEPEND_NAME=.depend
 LINKS=.matita matita.lang matita.conf.xml
 
 all: $(LINKS) $(SRC:%.ma=%.moo)
 
-verbose:
+opt:
+	make MATITAC=$(MATITACOPT) all
+
+verbose.opt:
 	make MATITAC=$(VERBOSEMATITAC) all
 
+verboseopt:
+	make MATITAC=$(VERBOSEMATITACOPT) all
+
 clean: $(LINKS)
 	rm -f $(SRC:%.ma=%.moo)
 	../matitaclean all
-- 
2.39.2