diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-03T12·59+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-03T12·59+0000 |
commit | 6c31232e1494d1d68a31fb8433dbf593f831dff2 (patch) | |
tree | 9acd7f0e2279bd971b5ccd1f1eb8cec8b7937003 /corepkgs/buildenv/default.nix | |
parent | 502d94048ae848eda1fcda2d1e72b339eaa653aa (diff) | |
parent | 63227d434cefaa9faeb14afe28ebeb9b2d449ee2 (diff) |
* Sync with the trunk.
Diffstat (limited to 'corepkgs/buildenv/default.nix')
-rw-r--r-- | corepkgs/buildenv/default.nix | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/corepkgs/buildenv/default.nix b/corepkgs/buildenv/default.nix deleted file mode 100644 index d76f5274099a..000000000000 --- a/corepkgs/buildenv/default.nix +++ /dev/null @@ -1,18 +0,0 @@ -{system, derivations, manifest}: - -derivation { - name = "user-environment"; - system = system; - builder = ./builder.pl; - - manifest = manifest; - - # !!! grmbl, need structured data for passing this in a clean way. - paths = derivations; - active = map (x: if x ? meta && x.meta ? active then x.meta.active else "true") derivations; - priority = map (x: if x ? meta && x.meta ? priority then x.meta.priority else "5") derivations; - - # Building user environments remotely just causes huge amounts of - # network traffic, so don't do that. - preferLocalBuild = true; -} |