2018-07-11 09:35:55 +00:00
|
|
|
From 8ddacdf1283fe3d7054f51a4b764bc6b44d7a342 Mon Sep 17 00:00:00 2001
|
2014-06-24 21:28:27 +00:00
|
|
|
From: "Richard W.M. Jones" <rjones@redhat.com>
|
|
|
|
Date: Tue, 24 Jun 2014 10:00:15 +0100
|
2018-07-11 09:35:55 +00:00
|
|
|
Subject: [PATCH 1/8] Don't add rpaths to libraries.
|
2014-06-24 21:28:27 +00:00
|
|
|
|
|
|
|
---
|
2017-11-06 12:39:44 +00:00
|
|
|
tools/Makefile | 4 ++--
|
|
|
|
1 file changed, 2 insertions(+), 2 deletions(-)
|
2014-06-24 21:28:27 +00:00
|
|
|
|
2017-08-05 15:19:56 +00:00
|
|
|
diff --git a/tools/Makefile b/tools/Makefile
|
2018-04-26 13:14:05 +00:00
|
|
|
index 78d2a1068..fbec019ed 100644
|
2017-08-05 15:19:56 +00:00
|
|
|
--- a/tools/Makefile
|
|
|
|
+++ b/tools/Makefile
|
2018-04-26 13:14:05 +00:00
|
|
|
@@ -157,8 +157,8 @@ $(call byte_and_opt,ocamlmklib,ocamlmklibconfig.cmo config.cmo misc.cmo \
|
2016-11-03 18:32:19 +00:00
|
|
|
ocamlmklibconfig.ml: ../config/Makefile Makefile
|
|
|
|
(echo 'let bindir = "$(BINDIR)"'; \
|
2014-06-24 21:28:27 +00:00
|
|
|
echo 'let supports_shared_libraries = $(SUPPORTS_SHARED_LIBRARIES)';\
|
2017-11-06 12:39:44 +00:00
|
|
|
- echo 'let default_rpath = "$(RPATH)"'; \
|
2014-06-24 21:28:27 +00:00
|
|
|
- echo 'let mksharedlibrpath = "$(MKSHAREDLIBRPATH)"'; \
|
2017-11-06 12:39:44 +00:00
|
|
|
+ echo 'let default_rpath = ""'; \
|
2014-06-24 21:28:27 +00:00
|
|
|
+ echo 'let mksharedlibrpath = ""'; \
|
|
|
|
echo 'let toolpref = "$(TOOLPREF)"'; \
|
|
|
|
sed -n -e 's/^#ml //p' ../config/Makefile) \
|
|
|
|
> ocamlmklibconfig.ml
|
|
|
|
--
|
2018-07-11 09:35:55 +00:00
|
|
|
2.17.1
|
2014-06-24 21:28:27 +00:00
|
|
|
|