diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2019-11-08 17:51:31 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 17:52:44 +0100 |
| commit | eaa52b5baa8fbb26a79890561d0c40344d1e1bf3 (patch) | |
| tree | 454c9a4853f504f505dadc1cf7b0434e3adaf63f /gnu | |
| parent | 3b09bb191cde08ec417dd6ec869d914a334ac06c (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.scm | 6 |
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" |