From 1007931f358044bb5cdf4486853a211b69b8ba77 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 d5bb84ca..ab3ca2bc 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