From b3513cb3843a0fda58cf0e17ff21e58112e3dae8 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 26 Mar 2020 23:17:15 +0100
Subject: Fix calling test suite makefile with a dune built coq

---
 test-suite/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 0d8a6ebed7..eade52b6eb 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -38,7 +38,8 @@ ROOT='$(shell cd ..; pwd)'
 
 ifneq ($(wildcard ../_build),)
 BIN:=$(ROOT)/_build/install/default/bin/
-COQLIB:=$(ROOT)/_build/install/default/lib/coq
+# COQLIB is an env variable so no quotes
+COQLIB:=$(shell cd ..; pwd)/_build/install/default/lib/coq
 else
 BIN := $(ROOT)/bin/
 
-- 
cgit v1.2.3