From 9fb840fa5f33f593bc204765a13c027155559c2e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 4 Dec 2020 15:05:40 +0100
Subject: [dune] [test-suite] pass BIN= as the regular makefile does

---
 test-suite/dune | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/test-suite/dune b/test-suite/dune
index 6ab2988331..1864153021 100644
--- a/test-suite/dune
+++ b/test-suite/dune
@@ -8,6 +8,10 @@
  (targets libpath.inc)
  (action (with-stdout-to %{targets} (run ./ocaml_pwd.exe -quoted ../../install/%{context_name}/lib/coq/ ))))
 
+(rule
+ (targets bin.inc)
+ (action (with-stdout-to %{targets} (run ./ocaml_pwd.exe -quoted -trailing-slash ../../install/%{context_name}/bin/ ))))
+
 (rule
  (targets summary.log)
  (deps
@@ -44,4 +48,4 @@
    ; %{bin:fake_ide}
  (action
   (progn
-   (bash "make -j %{env:NJOBS=2} BIN= COQLIB=%{read:libpath.inc} PRINT_LOGS=1 UNIT_TESTS=%{env:COQ_UNIT_TEST=unit-tests}"))))
+   (bash "make -j %{env:NJOBS=2} BIN=%{read:bin.inc} COQLIB=%{read:libpath.inc} PRINT_LOGS=1 UNIT_TESTS=%{env:COQ_UNIT_TEST=unit-tests}"))))
-- 
cgit v1.2.3