diff options
| -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" |