meta name='generator' content='cgit v1.2.3'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/openmpi-mtl-priorities.patch
AgeCommit message (Expand)Author
2019-11-29gnu: 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. Ludovic Courtès