From eaa52b5baa8fbb26a79890561d0c40344d1e1bf3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludovic.courtes@inria.fr>
Date: Fri, 8 Nov 2019 17:51:31 +0100
Subject: [PATCH] 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 f66a3047359..172fe9e3063 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -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"
--
GitLab