From a7d6a79a98496f87f577bf5edfa4024e1a39665e Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Mon, 18 Nov 2024 14:33:07 +0100 Subject: gnu: openmpi: Disable static libraries. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 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" -- cgit v1.2.3