gnu: openmpi: Disable static libraries.

* gnu/packages/mpi.scm (openmpi-4)[arguments]: Pass “--disable-static”.
* gnu/packages/mpi.scm (openmpi-5)[arguments]: Likewise.

Change-Id: Ia6a8bc8a88d12a37878a45eed380262759bd4565
This commit is contained in:
Ludovic Courtès 2024-11-18 14:33:07 +01:00
parent f0d400fd2a
commit a7d6a79a98
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -234,6 +234,7 @@ (define-public openmpi-4
(list
#:configure-flags #~`("--enable-mpi-ext=affinity" ;cr doesn't work
"--with-sge"
"--disable-static"
#$@(if (package? (this-package-input "valgrind"))
#~("--enable-memchecker"
@ -342,6 +343,7 @@ (define-public openmpi-5
(list #:configure-flags
#~(list "--enable-mpi-ext=affinity" ;cr doesn't work
"--with-sge"
"--disable-static"
#$@(if (package? (this-package-input "valgrind"))
#~("--enable-memchecker"