build-system/gnu: Write debug files to the "debug" sub-derivation, if any.
authorLudovic Courtès <ludo@gnu.org>
Wed, 3 Jul 2013 21:53:31 +0000 (23:53 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 3 Jul 2013 21:53:31 +0000 (23:53 +0200)
commitbe58d01a7e60601eb7b00a5fd3b724fdafb8dd29
tree86fa86c79bc01014c6c82ec7bb72939835135d42
parentd475b25953012cacbc8c661884d7f89cd5e93b3d
build-system/gnu: Write debug files to the "debug" sub-derivation, if any.

* guix/build/gnu-build-system.scm (strip): Add `objcopy-command' keyword
  parameter.
  [debug-output, debug-file-extension]: New variables.
  [debug-file, make-debug-file, add-debug-link]: New procedures.
  [strip-dir]: Use them.
guix/build/gnu-build-system.scm