From eaa52b5baa8fbb26a79890561d0c40344d1e1bf3 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludovic.courtes@inria.fr>
Date: Fri, 8 Nov 2019 17:51:31 +0100
Subject: 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 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"
-- 
cgit v1.2.3