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, 20 Sep 2023 07:59:40 +0000 (09:59 +0200)
Gbp-Pq: Name 0001-Don-t-use-rpath.patch

tools/ocamlmklib.ml

index 1cf8ef919f45a29c41f7d8b8a470d254793aac97..37c7f41ba604786c336464d99aabab00877f5f94 100644 (file)
@@ -55,6 +55,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