diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2021-07-29 14:25:17 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-07-29 21:54:54 +0200 |
commit | 18d04fef0fea2c604b42c465782f3be647c2b947 (patch) | |
tree | 933be4774429dda5e0d7fbbe4c1cafc66b574cd3 /gnu/installer/hostname.scm | |
parent | a9bc8a25eb9a5851062167a3475622ba6b1a8b9a (diff) |
gnu: Add pthreadpool.
* gnu/packages/parallel.scm (pthreadpool): New variable.
* gnu/packages/patches/pthreadpool-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'gnu/installer/hostname.scm')
0 files changed, 0 insertions, 0 deletions