From df981d8b36754c820f41f01758c585bf282065c1 Mon Sep 17 00:00:00 2001 From: Dave Love Date: Mon, 31 Jul 2017 15:03:46 +0100 Subject: gnu: openmpi: Modify configuration to reduce closure. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit devel-headers are only for building MCA components, produce a large closure and aren't normally packaged. Only the affinity component of mpi-ext is useful. * gnu/packages/mpi.scm (openmpi)[arguments]: Don't configure --with-devel-headers and --enable-mpi-ext=all. Signed-off-by: Ludovic Courtès --- gnu/packages/mpi.scm | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 3337054223..3dd890ed62 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -134,8 +134,7 @@ bind processes, and much more.") (arguments `(#:configure-flags `("--enable-builtin-atomics" - "--enable-mpi-ext=all" - "--with-devel-headers" + "--enable-mpi-ext=affinity" ;cr doesn't work "--enable-memchecker" "--with-sge" ,(string-append "--with-valgrind=" -- cgit v1.2.3