06/12: gnu: openmpi: Disable static libraries.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit a7d6a79a98496f87f577bf5edfa4024e1a39665e
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Mon Nov 18 14:33:07 2024 +0100

    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
---
 gnu/packages/mpi.scm | 2 ++
 1 file changed, 2 insertions(+)

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"