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

[guix-commits]

civodul pushed a commit to branch wip-mpi
in repository guix.

commit 37532fee456d25d0c85982ef5b5bb1f3f640ca2b
Author: Ludovic Courtès <address@hidden>
Date:   Fri Nov 8 17:51:31 2019 +0100

    gnu: openmpi: Pass explicit "--with-*" configure flags.
    
    * gnu/packages/mpi.scm (openmpi)[arguments]: Pass "--with-ucx",
    "--with-psm", and "--with-psm2".
---
 gnu/packages/mpi.scm | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 914f8e9..39ec076 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"