Don't use rpath
authorStefano Zacchiroli <zack@debian.org>
Tue, 19 May 2009 15:24:14 +0000 (17:24 +0200)
committerStéphane Glondu <glondu@debian.org>
Wed, 6 Nov 2019 10:12:49 +0000 (11:12 +0100)
Gbp-Pq: Name 0003-Don-t-use-rpath.patch

tools/ocamlmklib.ml

index b5c0aee539394126a866906b4c7f1596868be7b3..b4e45d15a0b52b8f6bed6210bb5ba9e283fb0fd9 100644 (file)
@@ -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