diff options
| author | Gaëtan Gilbert | 2019-10-13 18:17:06 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-14 10:24:40 +0200 |
| commit | 3f5417422b7498514a148242979431aa2990c584 (patch) | |
| tree | b1664e0e831627a25ecee9317cfc15932f4dc96b | |
| parent | 81216e8947fb4906f5a2b109cbed3e2584383c57 (diff) | |
test-suite/Makefile: work when manually involved for dune-compiled Coq
i.e. you can do
~~~
make -f Makefile.dune world
make -C test-suite success
~~~
to make just the success tests, then modify Coq sources and retest
just the ones you want
| -rw-r--r-- | test-suite/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index c0bdb29fab..c60f39231e 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -32,18 +32,21 @@ include ../Makefile.common # Variables ####################################################################### -# Default value when called from a freshly compiled Coq, but can be -# easily overridden - +ifneq ($(wildcard ../_build),) +BIN:=$(shell cd ..; pwd)/_build/install/default/bin/ +COQLIB:=$(shell cd ..; pwd)/_build/install/default/lib/coq +else BIN := $(shell cd ..; pwd)/bin/ -COQFLAGS?= COQLIB?= ifeq ($(COQLIB),) COQLIB := $(shell ocaml ocaml_pwd.ml ..) endif +endif # exists ../_build export COQLIB +COQFLAGS?= + coqc := $(BIN)coqc -q -R prerequisite TestSuite $(COQFLAGS) coqchk := $(BIN)coqchk -R prerequisite TestSuite coqdoc := $(BIN)coqdoc |