2020-04-24 23:36:52 +00:00
|
|
|
{ runCommand, gawk, extensions, makeWrapper }:
|
|
|
|
|
|
|
|
runCommand "gawk-with-extensions" {
|
2021-07-14 22:03:04 +00:00
|
|
|
nativeBuildInputs = [ makeWrapper ];
|
|
|
|
buildInputs = [ gawk ] ++ extensions;
|
2020-04-24 23:36:52 +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
|
|
|
|
''
|