From 14a671ae5b23b093fe389f5742f271a508fef7a4 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 19 May 2009 17:24:14 +0200 Subject: [PATCH] Don't use rpath Gbp-Pq: Name 0003-Don-t-use-rpath.patch --- tools/ocamlmklib.ml | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.30.2