diff options
| author | Jim Fehrle | 2019-02-26 21:53:25 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2019-03-01 10:24:22 -0800 |
| commit | 7b3779b27be9221def05a341d79ddd45540b4280 (patch) | |
| tree | eb62ace17e46101aa22597d2bad3e5e56cab7653 /test-suite/Makefile | |
| parent | ae998e3049cd581d21c4fe0e8e18466ed9131546 (diff) | |
Set COQLIB so the test suite will run locally on Windows.
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 |