gnu: openmpi: Pass explicit "--with-*" configure flags.

* gnu/packages/mpi.scm (openmpi)[arguments]: Pass "--with-ucx",
"--with-psm", and "--with-psm2".
This commit is contained in:
Ludovic Courtès 2019-11-08 17:51:31 +01:00 committed by Ludovic Courtès
parent 3b09bb191c
commit eaa52b5baa
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -204,6 +204,12 @@ (define-public openmpi
"--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"