diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 30169f76d446f823a4631479b7db415699c34dc8..41655a4a5ce1a049dc46347f47f63cd3cac956ce 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -210,12 +210,6 @@ (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"