From c32e8ddf4f5daf139255fef9a9716f04528b681a 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 e5dda65e..cb9daca6 100644 --- a/tools/ocamlmklib.ml +++ b/tools/ocamlmklib.ml @@ -43,6 +43,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