summary refs log tree commit diff
path: root/gnu
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
parentfb993719720164384b56319eea17c6199ed82392 (diff)
downloadguix-c971d9ef29a22f99565a92e55cacf1b06c8d1011.tar.gz
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')
-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"