diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-11-29 13:51:50 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-29 15:54:19 +0100 |
commit | 68ac34e1209c8ba631aea119a2a547f267a88576 (patch) | |
tree | 6fe4019a24002429632502eea72e9ef175cdc7d7 /nix/libstore | |
parent | f02fc042a4eccdf51489bdd18db0f37d5628b92d (diff) |
gnu: openmpi: Increase priority of the PSM component.
* gnu/packages/patches/openmpi-psm2-priority.patch: Rename to...
* gnu/packages/patches/openmpi-mtl-priorities.patch: ... this. Add hunk
to change the priority of PSM.
* gnu/packages/mpi.scm (openmpi)[source]: Adjust accordingly.
* gnu/local.mk (dist_patch_DATA): Likewise.
Diffstat (limited to 'nix/libstore')
0 files changed, 0 insertions, 0 deletions