summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2019-11-08 17:51:31 +0100
committerLudovic Courtès <ludo@gnu.org>2019-11-15 17:52:44 +0100
commiteaa52b5baa8fbb26a79890561d0c40344d1e1bf3 (patch)
tree454c9a4853f504f505dadc1cf7b0434e3adaf63f /gnu
parent3b09bb191cde08ec417dd6ec869d914a334ac06c (diff)
gnu: openmpi: Pass explicit "--with-*" configure flags.
* gnu/packages/mpi.scm (openmpi)[arguments]: Pass "--with-ucx", "--with-psm", and "--with-psm2".
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/mpi.scm6
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index f66a304735..172fe9e306 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -204,6 +204,12 @@ bind processes, and much more.")
"--with-hwloc=external"
"--with-libevent"
+ ;; Make sure ./configure fails if one of these is
+ ;; missing.
+ "--with-ucx"
+ "--with-psm"
+ "--with-psm2"
+
;; InfiniBand support
"--enable-openib-control-hdr-padding"
"--enable-openib-dynamic-sl"