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.08.1-7+rpi1^2~5
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d84390168e69dfa3654390fd44216b8dd03df557;p=ocaml.git

Don't use rpath


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

diff --git a/tools/ocamlmklib.ml b/tools/ocamlmklib.ml
index b5c0aee5..b4e45d15 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