2019-12-08 01:07:33 +00:00
|
|
|
{ runCommand, gawk, extensions, makeWrapper }:
|
|
|
|
|
|
|
|
runCommand "gawk-with-extensions" {
|
2021-07-12 20:26:42 +01:00
|
|
|
nativeBuildInputs = [ makeWrapper ];
|
|
|
|
buildInputs = [ gawk ] ++ extensions;
|
2019-12-08 01:07:33 +00:00
|
|
|
} ''
|
|
|
|
mkdir -p $out/bin
|
|
|
|
for i in ${gawk}/bin/*; do
|
|
|
|
name="$(basename "$i")"
|
|
|
|
makeWrapper $i $out/bin/$name \
|
|
|
|
--prefix AWKLIBPATH : "${gawk}/lib/gawk:''${AWKLIBPATH:-}"
|
|
|
|
done
|
|
|
|
''
|