gawkInteractive: fix build after 04d4d14d6d

(Without causing a mass rebuild for now.)
This commit is contained in:
Vladimír Čunát 2017-06-18 13:53:09 +02:00
parent 8702fd35e2
commit 66fdb94f50
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -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/;