Move all the PHP stuff to a subdir

This commit is contained in:
Graham Christensen 2017-12-04 21:30:15 -05:00
parent 781bdcdf8d
commit 8c9e63d12c
No known key found for this signature in database
GPG key ID: ACA1C1D120C83D5C
15 changed files with 20 additions and 0 deletions

View file

@ -12,4 +12,24 @@ let
in {
ofborg.rs = stripDeps (pkgs.callPackage ./nix/ofborg-carnix.nix {}).ofborg_0_1_0;
ircbot = stripDeps (pkgs.callPackage ./nix/ircbot-carnix.nix {}).ircbot_0_1_0;
# /nix/store/a4xfsgh5bwh5w4m9y1j40ry4dq892gl4-ofborg/
ofborg.php = pkgs.runCommand
"ofborg"
{
src = builtins.filterSource
(path: type: !(
(type == "symlink" && baseNameOf path == "result")
|| (type == "directory" && baseNameOf path == ".git")
))
./php;
}
''
cp -r $src ./ofborg
chmod -R u+w ./ofborg
cd ofborg
ls -la
cd ..
mv ofborg $out
'';
}

View file