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>
This commit is contained in:
parent
fb99371972
commit
c971d9ef29
|
@ -131,6 +131,7 @@ bind processes, and much more.")
|
||||||
(native-inputs
|
(native-inputs
|
||||||
`(("pkg-config" ,pkg-config)
|
`(("pkg-config" ,pkg-config)
|
||||||
("perl" ,perl)))
|
("perl" ,perl)))
|
||||||
|
(outputs '("out" "debug"))
|
||||||
(arguments
|
(arguments
|
||||||
`(#:configure-flags `("--enable-mpi-ext=affinity" ;cr doesn't work
|
`(#:configure-flags `("--enable-mpi-ext=affinity" ;cr doesn't work
|
||||||
"--enable-memchecker"
|
"--enable-memchecker"
|
||||||
|
|
Loading…
Reference in New Issue