diff options
| author | Matthieu Sozeau | 2015-07-07 16:02:35 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-07-07 16:02:35 +0200 |
| commit | 024a7ab20b06d82571c68c3d2ac32cb60fb0053a (patch) | |
| tree | ae813bd2a2f9f060e5031be3471ae477c0cb975c | |
| parent | 6f2db13c8677fd0148279483359e75b9f128aebc (diff) | |
test-suite: Fix test-suite Makefile
Using relative path for coqlib, for some reason this fails on Mac OS
X. Took the easiest way to fix it.
| -rw-r--r-- | test-suite/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 476d850ac9..d2466250ab 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -28,7 +28,7 @@ # Default value when called from a freshly compiled Coq, but can be # easily overridden BIN := ../bin/ -LIB := .. +LIB := $(shell cd ..; pwd) coqtop := $(BIN)coqtop -boot -q -batch -test-mode -R prerequisite TestSuite bincoqc := $(BIN)coqc -coqlib $(LIB) -R prerequisite TestSuite |