diff options
| author | Romain GARBAGE <romain.garbage@inria.fr> | 2026-04-01 15:53:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2026-04-07 13:26:20 +0200 |
| commit | ae0a9c93be7130841915dbd2ed9f8cc03fe720dd (patch) | |
| tree | e5c7113c856ee43e2318622a10fef1d9b220dba7 /scripts | |
| parent | c7cb771cf40d779cbce062c029ee51fbd7de181b (diff) | |
gnu: openmpi-5: Explicitly activate PSM2 when present.
* gnu/packages/mpi.scm (openmpi-5): Explicitly activate PSM2 when present.
Change-Id: I4516553ddc88c68459ae028488927d37ef8c29af
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions