diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 23:22:53 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 23:28:17 +0100 |
commit | 6f160c5c3809c9fd7af7da3f215ca0222e24ccce (patch) | |
tree | 00d192d60bdafa148280f6123622e727481ea1cc | |
parent | 96a469f1cdac9c3a1022eca3e7a3cb408b7464eb (diff) | |
download | guix-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.scm | 6 |
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" |