summaryrefslogtreecommitdiff
path: root/gnu/packages/mpi.scm
diff options
context:
space:
mode:
authorDave Love <fx@gnu.org>2017-10-02 21:54:43 +0100
committerLudovic Courtès <ludo@gnu.org>2017-10-03 17:11:19 +0200
commitc971d9ef29a22f99565a92e55cacf1b06c8d1011 (patch)
tree582e6754aa03e94280b35966dbe39bb8fd8d251a /gnu/packages/mpi.scm
parentfb993719720164384b56319eea17c6199ed82392 (diff)
gnu: openmpi: Add "debug" output.
This is necessary for one mechanism for attaching parallel debuggers and is also relevant for the runtime backtrace facility. * gnu/packages/mpi.scm (openmpi)[outputs]: New field. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/mpi.scm')
-rw-r--r--gnu/packages/mpi.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 517f912417..98b21219f5 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -131,6 +131,7 @@ bind processes, and much more.")
(native-inputs
`(("pkg-config" ,pkg-config)
("perl" ,perl)))
+ (outputs '("out" "debug"))
(arguments
`(#:configure-flags `("--enable-mpi-ext=affinity" ;cr doesn't work
"--enable-memchecker"