diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-10-15 13:56:06 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-15 13:58:45 +0200 |
commit | 8ba94edd8f411d68338d6d063dc09cda6858b748 (patch) | |
tree | 733f5d49ed7b1fe9ceaae7f1cf45cc4986ef0011 | |
parent | da414ec6873b0b912002babe4385fbae51676b43 (diff) | |
download | patches-8ba94edd8f411d68338d6d063dc09cda6858b748.tar patches-8ba94edd8f411d68338d6d063dc09cda6858b748.tar.gz |
gnu: openmpi: Add dependency on UCX when supported.
* gnu/packages/mpi.scm (openmpi)[inputs]: Add UCX conditionally.
-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") |