From d201ccad094feda44a4d232de936df57c33f22f2 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 9 Mar 2017 01:09:50 +0100
Subject: [META] [build] Install dlls to kernel/byterun

This makes the dll path consistent both in `-local` and non-local Coq install.
---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure.ml')

diff --git a/configure.ml b/configure.ml
index e71136751..82ce931d6 100644
--- a/configure.ml
+++ b/configure.ml
@@ -926,7 +926,7 @@ let config_runtime () =
   | _ ->
     let ld="CAML_LD_LIBRARY_PATH" in
     build_loadpath := sprintf "export %s:='%s/kernel/byterun':$(%s)" ld coqtop ld;
-    ["-dllib";"-lcoqrun";"-dllpath";libdir]
+    ["-dllib";"-lcoqrun";"-dllpath";libdir/"kernel/byterun"]
 
 let vmbyteflags = config_runtime ()
 
-- 
cgit v1.2.3