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 @@ (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"