summary refs log tree commit diff
path: root/gnu/local.mk
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2023-02-22 08:20:12 +0100
committerJulien Lepiller <julien@lepiller.eu>2023-02-22 08:21:22 +0100
commitca0f9d8c1cf19757b1a1b525421617749417d1f2 (patch)
treebfe6edef6edc8cab41f2776fad0d197a1cad91d7 /gnu/local.mk
parent78a1eee08932e4512885f065d13472acc20e5970 (diff)
downloadguix-ca0f9d8c1cf19757b1a1b525421617749417d1f2.tar.gz
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/local.mk')
-rw-r--r--gnu/local.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk
index 44231b3095..dfe78412e0 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -1581,6 +1581,7 @@ dist_patch_DATA =						\
   %D%/packages/patches/ocaml-dose3-dont-make-printconf.patch	\
   %D%/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch	\
   %D%/packages/patches/ocaml-multiple-definitions.patch		\
+  %D%/packages/patches/ocaml-4.07-dynamically-allocate-signal-stack.patch	\
   %D%/packages/patches/ocaml-4.09-dynamically-allocate-signal-stack.patch	\
   %D%/packages/patches/ocaml-4.09-multiple-definitions.patch	\
   %D%/packages/patches/omake-fix-non-determinism.patch	\