diff options
| author | Enrico Tassi | 2019-03-04 15:37:14 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-03-04 15:37:14 +0100 |
| commit | be15d32ad16104c81f4fbf42556067848aa0acec (patch) | |
| tree | d0bc31b3bccacd261bd6d3fda6fae2d6f111100d /test-suite/Makefile | |
| parent | b4794c19aef3c076472adabdbf7cc78c89d84b74 (diff) | |
| parent | 7b3779b27be9221def05a341d79ddd45540b4280 (diff) | |
Merge PR #9660: Set COQLIB so the test suite runs locally on Windows.
Reviewed-by: ejgallego
Ack-by: SkySkimmer
Ack-by: gares
Ack-by: jfehrle
Ack-by: vbgl
Diffstat (limited to 'test-suite/Makefile')
| -rw-r--r-- | test-suite/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 5582503d89..6efd47afc2 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -38,9 +38,9 @@ include ../Makefile.common BIN := $(shell cd ..; pwd)/bin/ COQFLAGS?= +COQLIB?= ifeq ($(COQLIB),) - # This method of setting `pwd` won't work on win32 OCaml - COQLIB := $(shell cd ..; pwd) + COQLIB := $(shell ocaml ocaml_pwd.ml ..) endif export COQLIB |