06/07: gnu: openmpi: Modify configuration to reduce closure.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit df981d8b36754c820f41f01758c585bf282065c1
Author: Dave Love <address@hidden>
Date:   Mon Jul 31 15:03:46 2017 +0100

    gnu: openmpi: Modify configuration to reduce closure.
    
    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 <address@hidden>
---
 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 3337054..3dd890e 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="