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>
Mon, 12 Oct 2020 14:56:34 +0000 (16:56 +0200)
Gbp-Pq: Name 0001-Don-t-use-rpath.patch

tools/ocamlmklib.ml

index d5bb84cac821009b9a98e2285c73500ed958109b..ab3ca2bcf3e7d03710d587c93248fe5356989cb1 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