diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2023-02-19 22:54:10 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2023-02-19 22:55:33 +0100 |
| commit | b1a0b5a3f52c247605893aca27f1d9e733ed26d1 (patch) | |
| tree | 9d5393320a059fff7d5c68da5a9dae95f10d1f1a /gnu/local.mk | |
| parent | 4d6607a363ea95f84c42b38cce2d3599926155a2 (diff) | |
gnu: camlboot: Fix signal handling with newer glibc.
* gnu/packages/patches/camlboot-dynamically-allocate-stack-signal.patch:
New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ocaml.scm (camlboot): Use it.
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index c52bcb3ecc..44231b3095 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -958,6 +958,7 @@ dist_patch_DATA = \ %D%/packages/patches/calibre-no-updates-dialog.patch \ %D%/packages/patches/calibre-remove-test-sqlite.patch \ %D%/packages/patches/calibre-remove-test-unrar.patch \ + %D%/packages/patches/camlboot-dynamically-allocate-stack-signal.patch \ %D%/packages/patches/catdoc-CVE-2017-11110.patch \ %D%/packages/patches/chez-scheme-bin-sh.patch \ %D%/packages/patches/circos-remove-findbin.patch \ |