summary refs log tree commit diff
path: root/gnu/local.mk
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2019-11-15 17:15:05 +0100
committerLudovic Courtès <ludo@gnu.org>2019-11-15 17:52:45 +0100
commitfaab7082ab9587b71ca5ae8becdf72234f3c51d7 (patch)
tree6a27e070f9d289e6ebd44d42014b4e7a7eacc46b /gnu/local.mk
parent348caf3d2c0e5a1d842c16cf6246f6d84004ad3f (diff)
downloadguix-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 'gnu/local.mk')
-rw-r--r--gnu/local.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk
index 7ef5ef7a6c..4e6fb7c1d8 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -1192,6 +1192,7 @@ dist_patch_DATA =						\
   %D%/packages/patches/opencv-rgbd-aarch64-test-fix.patch	\
   %D%/packages/patches/openfoam-4.1-cleanup.patch			\
   %D%/packages/patches/openjdk-10-idlj-reproducibility.patch	\
+  %D%/packages/patches/openmpi-psm2-priority.patch		\
   %D%/packages/patches/openocd-nrf52.patch			\
   %D%/packages/patches/opensmtpd-fix-crash.patch		\
   %D%/packages/patches/openssl-runpath.patch			\