gnu: openmpi: Raise the priority of the PSM2 component.
authorLudovic Courtès <ludovic.courtes@inria.fr>
Fri, 15 Nov 2019 16:15:05 +0000 (17:15 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 15 Nov 2019 16:52:45 +0000 (17:52 +0100)
commitfaab7082ab9587b71ca5ae8becdf72234f3c51d7
tree6a27e070f9d289e6ebd44d42014b4e7a7eacc46b
parent348caf3d2c0e5a1d842c16cf6246f6d84004ad3f
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.
gnu/local.mk
gnu/packages/mpi.scm
gnu/packages/patches/openmpi-psm2-priority.patch [new file with mode: 0644]