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

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 56593b9c76ddac5e9edaf8e932221624c3636a5c..13d3507b5a1360fcdc253d10e051c5dd578e3eb1 100644 (file)
--- 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