~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to debian/patches/0003-Don-t-use-rpath.patch

• browse files at revision 15
• compare with another revision
• download diff
• download tarball
• view history from revision 15

Show diffs side-by-side

added

removed

debian/patches/0003-Don-t-use-rpath.patch

 

1

From: Stefano Zacchiroli <zack@debian.org>

 

2

Date: Tue, 19 May 2009 17:24:14 +0200

 

3

Subject: [PATCH] Don't use rpath

 

4

 

 

5

---

 

6

 tools/ocamlmklib.mlp |    5 +++++

 

7

 1 files changed, 5 insertions(+), 0 deletions(-)

 

8

 

 

9

diff --git a/tools/ocamlmklib.mlp b/tools/ocamlmklib.mlp

 

10

index cec4877..4db288f 100644

 

11

--- a/tools/ocamlmklib.mlp

 

12

+++ b/tools/ocamlmklib.mlp

 

13

@@ -32,6 +32,11 @@ and output_c = ref ""       (* Output name for C part of library *)

 

14

 and rpath = ref []          (* rpath options *)

 

15

 and verbose = ref false

 

16

 

 

17

+(* Debian specific: inhibit rpath *)

 

18

+let byteccrpath = ""

 

19

+and nativeccrpath = ""

 

20

+and mksharedlibrpath = ""

 

21

+

 

22

 let starts_with s pref =

 

23

   String.length s >= String.length pref &&

 

24

   String.sub s 0 (String.length pref) = pref

 

25

-- 

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1