1{
2 runCommand,
3 gawk,
4 extensions,
5 makeWrapper,
6}:
7
8runCommand "gawk-with-extensions"
9 {
10 nativeBuildInputs = [ makeWrapper ];
11 buildInputs = [ gawk ] ++ extensions;
12 }
13 ''
14 mkdir -p $out/bin
15 for i in ${gawk}/bin/*; do
16 name="$(basename "$i")"
17 makeWrapper $i $out/bin/$name \
18 --prefix AWKLIBPATH : "${gawk}/lib/gawk:''${AWKLIBPATH:-}"
19 done
20 ''