1 2 3 4 5 6 7 8 9 10
{ php, writeText, runCommand }: name: text: let f = writeText name text; in runCommand name { } '' ${php}/bin/php -l '${f}' cp -a '${f}' $out ''