From 7752e66ef2992f2434454c024b4820c99610475d 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 0001-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 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 -- 2.30.2