diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2023-02-22 08:20:12 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2023-02-22 08:21:22 +0100 |
| commit | ca0f9d8c1cf19757b1a1b525421617749417d1f2 (patch) | |
| tree | bfe6edef6edc8cab41f2776fad0d197a1cad91d7 /gnu/packages/ocaml.scm | |
| parent | 78a1eee08932e4512885f065d13472acc20e5970 (diff) | |
| download | guix-ca0f9d8c1cf19757b1a1b525421617749417d1f2.tar.gz guix-ca0f9d8c1cf19757b1a1b525421617749417d1f2.zip | |
gnu: ocaml-4.07: Fix signal handling with newer glibc.
* gnu/packages/patches/ocaml-4.07-dynamically-allocate-signal-stack.patch:
New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ocaml.scm (ocaml-4.07-boot): 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 8e7fb58c72..ac31d71fcf 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -369,7 +369,9 @@ patch-/bin/sh-references: ~a: changing `\"/bin/sh\"' to `~a'~%" (sha256 (base32 "1f07hgj5k45cylj1q3k5mk8yi02cwzx849b1fwnwia8xlcfqpr6z")) - (patches (search-patches "ocaml-multiple-definitions.patch")) + (patches (search-patches + "ocaml-multiple-definitions.patch" + "ocaml-4.07-dynamically-allocate-signal-stack.patch")) (modules '((guix build utils))) (snippet `(begin |