aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-11-15 23:22:53 +0100
committerLudovic Courtès <ludo@gnu.org>2019-11-15 23:28:17 +0100
commit6f160c5c3809c9fd7af7da3f215ca0222e24ccce (patch)
tree00d192d60bdafa148280f6123622e727481ea1cc
parent96a469f1cdac9c3a1022eca3e7a3cb408b7464eb (diff)
downloadpatches-6f160c5c3809c9fd7af7da3f215ca0222e24ccce.tar
patches-6f160c5c3809c9fd7af7da3f215ca0222e24ccce.tar.gz
Revert "gnu: openmpi: Pass explicit "--with-*" configure flags."
This reverts commit eaa52b5baa8fbb26a79890561d0c40344d1e1bf3, which would lead to build failures on systems other than x86_64-linux.
-rw-r--r--gnu/packages/mpi.scm6
1 files changed, 0 insertions, 6 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 30169f76d4..41655a4a5c 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -210,12 +210,6 @@ 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"