blob: 751e5181bb586723e7c7914eda4ea0f1af1e7dc2 (
plain) (
tree)
|
|
{ runCommand, gawk, extensions, makeWrapper }:
runCommand "gawk-with-extensions" {
buildInputs = [ makeWrapper gawk ] ++ extensions;
} ''
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
''
|