From e5a27b40a7099cf97164555e38f5ee76c789ca57 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 11 Feb 2004 11:14:18 +0000 Subject: [PATCH] added target *.opt (e.g. test.opt, librarytest.opt, etc.) --- helm/gTopLevel/Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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 -- 2.39.2