diff options
Diffstat (limited to 'pkgs/writePHPFile.nix')
| -rw-r--r-- | pkgs/writePHPFile.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pkgs/writePHPFile.nix b/pkgs/writePHPFile.nix new file mode 100644 index 0000000..e031efe --- /dev/null +++ b/pkgs/writePHPFile.nix @@ -0,0 +1,10 @@ +{ php, writeText, runCommand }: + +name: text: +let + f = writeText name text; +in +runCommand name { } '' + ${php}/bin/php -l '${f}' + cp -a '${f}' $out +'' |