Revert "gnu: openmpi: Pass explicit "--with-*" configure flags."

This reverts commit eaa52b5baa,
which would lead to build failures on systems other than x86_64-linux.
This commit is contained in:
Ludovic Courtès 2019-11-15 23:22:53 +01:00
parent 96a469f1cd
commit 6f160c5c38
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

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