From: Stefano Zacchiroli <zack@debian.org>
Date: Tue, 19 May 2009 15:24:14 +0000 (+0200)
Subject: Don't use rpath
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1^2~9
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d61757e7225dc76059a1884647ebfd448e5bb945;p=ocaml.git

Don't use rpath


Gbp-Pq: Name 0001-Don-t-use-rpath.patch
---

diff --git a/tools/ocamlmklib.ml b/tools/ocamlmklib.ml
index d5bb84ca..ab3ca2bc 100644
--- a/tools/ocamlmklib.ml
+++ b/tools/ocamlmklib.ml
@@ -58,6 +58,11 @@ and rpath = ref []          (* rpath options *)
 and debug = ref false       (* -g option *)
 and verbose = ref false
 
+(* Debian specific: inhibit rpath *)
+let byteccrpath = ""
+and nativeccrpath = ""
+and mksharedlibrpath = ""
+
 let starts_with s pref =
   String.length s >= String.length pref &&
   String.sub s 0 (String.length pref) = pref