diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2019-11-15 17:15:05 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 17:52:45 +0100 |
| commit | faab7082ab9587b71ca5ae8becdf72234f3c51d7 (patch) | |
| tree | 6a27e070f9d289e6ebd44d42014b4e7a7eacc46b /etc | |
| parent | 348caf3d2c0e5a1d842c16cf6246f6d84004ad3f (diff) | |
| download | patches-faab7082ab9587b71ca5ae8becdf72234f3c51d7.tar patches-faab7082ab9587b71ca5ae8becdf72234f3c51d7.tar.gz | |
gnu: openmpi: Raise the priority of the PSM2 component.
This allows us to get better performance by default on machines with
OmniPath hardware.
* gnu/packages/patches/openmpi-psm2-priority.patch: New file.
* gnu/packages/mpi.scm (openmpi)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions