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 /README | |
| parent | 0d97d3cbff3d81c8a95b2dc7e037deb04c770779 (diff) | |
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 'README')
0 files changed, 0 insertions, 0 deletions