diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2023-02-19 10:06:36 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2023-02-19 10:12:45 +0100 |
| commit | 15bce0144bb61a156b975c2d97d3edc4bcc3e68c (patch) | |
| tree | ca5737fbe81416e7b4e58e54234c9e92d4fd4a12 /gnu/packages/ocaml.scm | |
| parent | 0825162a35362640b47d3cabe278fd7ea49140bd (diff) | |
| download | guix-15bce0144bb61a156b975c2d97d3edc4bcc3e68c.tar.gz guix-15bce0144bb61a156b975c2d97d3edc4bcc3e68c.zip | |
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.scm | 4 |
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")))) |