writeGawk{,Bin}: init

This commit is contained in:
tv
2023-01-31 21:28:54 +01:00
parent 0c8de15042
commit d1424777b5

View File

@@ -259,6 +259,13 @@ pkgs: oldpkgs: {
mv "$textPath" $out mv "$textPath" $out
''; '';
writeGawk = pkgs.makeScriptWriter {
interpreter = "${pkgs.gawk}/bin/awk -f";
};
writeGawkBin = name:
pkgs.writeGawk "/bin/${name}";
writeHaskell = name: extra-depends: text: writeHaskell = name: extra-depends: text:
pkgs.stdenv.mkDerivation { pkgs.stdenv.mkDerivation {
inherit name; inherit name;