From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 11 Feb 2004 11:14:18 +0000 (+0000)
Subject: added target *.opt (e.g. test.opt, librarytest.opt, etc.)
X-Git-Tag: V_0_3_0~29
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e5a27b40a7099cf97164555e38f5ee76c789ca57;p=helm.git

added target *.opt (e.g. test.opt, librarytest.opt, etc.)
---

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 56593b9c7..13d3507b5 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -124,9 +124,15 @@ tests/%.cic.test: tests/%.cic regtest
 	time ./regtest -gen $<
 test: regtest
 	./regtest $(INTESTS) 2> /dev/null
+test.opt: regtest.opt
+	./regtest.opt $(INTESTS) 2> /dev/null
 envtest: regtest
 	./regtest -dump $(INTESTS) 2> /dev/null
-librarytest: testlibrary.opt
+envtest.opt: regtest.opt
+	./regtest.opt -dump $(INTESTS) 2> /dev/null
+librarytest: testlibrary
+	./testlibrary -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG &
+librarytest.opt: testlibrary.opt
 	./testlibrary.opt -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG &
 
 MAIN = ./gTopLevel