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.14.1-1+rpi1~11
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f91c66d5fb664b14536f069c2d1223c5ad91c553;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 0ca7b80f..e50ea0e4 100644
--- a/tools/ocamlmklib.ml
+++ b/tools/ocamlmklib.ml
@@ -57,6 +57,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