From 68ac34e1209c8ba631aea119a2a547f267a88576 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Fri, 29 Nov 2019 13:51:50 +0100 Subject: 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. --- gnu/packages/mpi.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/mpi.scm') diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 9f6597c6b3..45941df0b0 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -179,7 +179,7 @@ bind processes, and much more.") "/downloads/openmpi-" version ".tar.bz2")) (sha256 (base32 "0ms0zvyxyy3pnx9qwib6zaljyp2b3ixny64xvq3czv3jpr8zf2wh")) - (patches (search-patches "openmpi-psm2-priority.patch")))) + (patches (search-patches "openmpi-mtl-priorities.patch")))) (build-system gnu-build-system) (inputs `(("hwloc" ,hwloc-2 "lib") -- cgit v1.2.3