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 /doc | |
| 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 'doc')
0 files changed, 0 insertions, 0 deletions