summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2023-02-19 10:06:36 +0100
committerJulien Lepiller <julien@lepiller.eu>2023-02-19 10:12:45 +0100
commit15bce0144bb61a156b975c2d97d3edc4bcc3e68c (patch)
treeca5737fbe81416e7b4e58e54234c9e92d4fd4a12 /gnu/packages/ocaml.scm
parent0825162a35362640b47d3cabe278fd7ea49140bd (diff)
gnu: ocaml-4.09: Fix signal handling with newer glibc.
* gnu/packages/patches/ocaml-4.09-dynamically-allocate-signal-stack.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/ocaml.scm (ocaml-4.09): Use it.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm4
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 3458c87818..1487ed9337 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -316,7 +316,9 @@ functional, imperative and object-oriented styles of programming.")
"http://caml.inria.fr/pub/distrib/ocaml-"
(version-major+minor version)
"/ocaml-" version ".tar.xz"))
- (patches (search-patches "ocaml-4.09-multiple-definitions.patch"))
+ (patches (search-patches
+ "ocaml-4.09-multiple-definitions.patch"
+ "ocaml-4.09-dynamically-allocate-signal-stack.patch"))
(sha256
(base32
"1v3z5ar326f3hzvpfljg4xj8b9lmbrl53fn57yih1bkbx3gr3yzj"))))