diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2017-06-18 13:53:09 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2017-06-18 13:53:09 +0200 |
| commit | 66fdb94f5011a2087e237451555c64767c09357e (patch) | |
| tree | bf7b1b7e07c8abe2eac3bb5f89e4f820f79b7cc2 /pkgs/tools/text/gawk | |
| parent | 8702fd35e2bee6fb89e726b2d3c5103a1c60c566 (diff) | |
gawkInteractive: fix build after 04d4d14d6d
(Without causing a mass rebuild for now.)
Diffstat (limited to 'pkgs/tools/text/gawk')
| -rw-r--r-- | pkgs/tools/text/gawk/default.nix | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/pkgs/tools/text/gawk/default.nix b/pkgs/tools/text/gawk/default.nix index baaf7d4bb3bd..dec7af045251 100644 --- a/pkgs/tools/text/gawk/default.nix +++ b/pkgs/tools/text/gawk/default.nix @@ -32,10 +32,17 @@ stdenv.mkDerivation rec { configureFlags = stdenv.lib.optional (stdenv.system != "x86_64-cygwin") "--with-libsigsegv-prefix=${libsigsegv}" ++ [(if interactive then "--with-readline=${readline.dev}" else "--without-readline")]; - postInstall = '' - rm $out/bin/gawk-* - ln -s $man/share/man/man1/gawk.1 $man/share/man/man1/awk.1 - ''; + postInstall = + if interactive then + '' + rm "$out"/bin/gawk-* + ln -s gawk.1 "''${!outputMan}"/share/man/man1/awk.1 + '' + else # TODO: remove this other branch on a stdenv rebuild + '' + rm $out/bin/gawk-* + ln -s $man/share/man/man1/gawk.1 $man/share/man/man1/awk.1 + ''; meta = with stdenv.lib; { homepage = http://www.gnu.org/software/gawk/; |