diff options
| author | Dave Love <fx@gnu.org> | 2017-07-31 15:03:46 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-08-21 17:04:54 +0200 |
| commit | df981d8b36754c820f41f01758c585bf282065c1 (patch) | |
| tree | 073cc162df92ed5e8b634716c6c0074e43a49a75 /tests/zlib.scm | |
| parent | 0d97d3cbff3d81c8a95b2dc7e037deb04c770779 (diff) | |
| download | guix-df981d8b36754c820f41f01758c585bf282065c1.tar.gz | |
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 <ludo@gnu.org>
Diffstat (limited to 'tests/zlib.scm')
0 files changed, 0 insertions, 0 deletions