diff options
author | Pedro Filipe <pedrofilipecerqueira@outlook.com> | 2019-07-16 15:19:58 -0300 |
---|---|---|
committer | Leo <thinkabit.ukim@gmail.com> | 2019-07-17 06:01:13 -0300 |
commit | f37c80a85d4121a74600479cc7064a855b83bcd6 (patch) | |
tree | b2cec937cacdb70ded5b54c99442c1673d2b9f85 /community/ocaml/fix-segfault-in-ppc64le.patch | |
parent | 2ea2cc5ac1ede223f8f226758eec4cd6efe57f42 (diff) | |
download | aports-f37c80a85d4121a74600479cc7064a855b83bcd6.tar.bz2 aports-f37c80a85d4121a74600479cc7064a855b83bcd6.tar.xz |
community/ocaml: update to 4.08.0
Fixes https://gitlab.alpinelinux.org/alpine/aports/issues/10583
Diffstat (limited to 'community/ocaml/fix-segfault-in-ppc64le.patch')
-rw-r--r-- | community/ocaml/fix-segfault-in-ppc64le.patch | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/community/ocaml/fix-segfault-in-ppc64le.patch b/community/ocaml/fix-segfault-in-ppc64le.patch index 81c837079c..85587e74c2 100644 --- a/community/ocaml/fix-segfault-in-ppc64le.patch +++ b/community/ocaml/fix-segfault-in-ppc64le.patch @@ -19,13 +19,14 @@ Upstream-Issue: https://caml.inria.fr/mantis/view.php?id=7562. --- a/configure +++ b/configure -@@ -867,6 +867,9 @@ - sharedcccompopts="-fPIC" - mksharedlib="$cc -shared" - ldflags="$ldflags -Wl,-E" +@@ -13334,6 +13334,9 @@ + sharedlib_cflags="-fPIC" + mksharedlib="$CC -shared" + oc_ldflags="$oc_ldflags -Wl,-E" + case "$target" in + powerpc64le*) ldflags="$ldflags -no-pie" + esac rpath="-Wl,-rpath," mksharedlibrpath="-Wl,-rpath," natdynlinkopts="-Wl,-E" + |