diff options
| author | Marius Bakke <[email protected]> | 2019-10-18 18:10:47 +0200 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2019-10-18 18:10:47 +0200 |
| commit | b95d1b3289a6bb8e346a47e750660e16fb201c57 (patch) | |
| tree | cd4d956436f21d77645fd795d3e9737e4892c1d3 /gnu/packages/mpi.scm | |
| parent | a1d1703a1dc6bfcd10f48fe707ee7ac65300a37d (diff) | |
| parent | dabcfc6de29032ea52d1cb54163a783f7e480167 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/mpi.scm')
| -rw-r--r-- | gnu/packages/mpi.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 079ac34dbf..914f8e975e 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -185,6 +185,10 @@ bind processes, and much more.") (member (%current-system) (package-supported-systems psm2))) `(("psm2" ,psm2)) '()) + ,@(if (and (not (%current-target-system)) + (member (%current-system) (package-supported-systems psm2))) + `(("ucx" ,ucx)) + '()) ("rdma-core" ,rdma-core) ("valgrind" ,valgrind) ("slurm" ,slurm))) ;for PMI support (launching via "srun") |