From e6536d7c683beb352824c27a970ac064ba037149 Mon Sep 17 00:00:00 2001
From: glondu
Date: Fri, 7 Oct 2011 09:47:12 +0000
Subject: ocamlbuild: remove -dllpath from coqrunbyteflags

See bug #2614.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14519 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 myocamlbuild.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
index c6e2cf0185..73d30fe701 100644
--- a/myocamlbuild.ml
+++ b/myocamlbuild.ml
@@ -264,7 +264,7 @@ let extra_rules () = begin
        (* TODO : line2 isn't completely accurate with respect to ./configure:
 	  the case of -local -coqrunbyteflags foo isn't supported *)
        let line1 =
-	 "let coqrunbyteflags = \"-dllib -lcoqrun -dllpath 'kernel/byterun'\"\n"
+	 "let coqrunbyteflags = \"-dllib -lcoqrun\"\n"
        in
        Echo (lines @ (if local then [line0;line1] else []),
 	     "coq_config.ml"));
-- 
cgit v1.2.3