diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2024-11-18 14:33:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-11-25 11:22:24 +0100 |
| commit | a7d6a79a98496f87f577bf5edfa4024e1a39665e (patch) | |
| tree | 2c4498650ccfeb1d815a853fe8a353996b6ff22d | |
| parent | f0d400fd2a8bf343923ad44133f3d050b7a6f282 (diff) | |
| download | guix-a7d6a79a98496f87f577bf5edfa4024e1a39665e.tar.gz guix-a7d6a79a98496f87f577bf5edfa4024e1a39665e.zip | |
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
| -rw-r--r-- | gnu/packages/mpi.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index bc1fd797d6..20497242e5 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -234,6 +234,7 @@ bind processes, and much more.") (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 @@ software vendors, application developers and computer science researchers.") (list #:configure-flags #~(list "--enable-mpi-ext=affinity" ;cr doesn't work "--with-sge" + "--disable-static" #$@(if (package? (this-package-input "valgrind")) #~("--enable-memchecker" |