diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2021-02-26 15:20:33 +0000 |
---|---|---|
committer | John Ericson <John.Ericson@Obsidian.Systems> | 2021-02-26 16:10:26 +0000 |
commit | 68f4c728eca33f115f90e3f924c9081a4cd59896 (patch) | |
tree | 6ee8dd8964e99abb82add4ec9e3ccad0986c2846 /doc/manual/generate-options.nix | |
parent | 05cc5a858717c092e1835e2b0fec4c4b1a7fc97e (diff) |
Split {,local-}derivation-goal.{cc,hh}
This separates the scheduling logic (including simple hook pathway) from
the local-store needing code.
This should be the final split for now. I'm reasonably happy with how
it's turning out, even before I'm done moving code into
`local-derivation-goal`. Benefits:
1. This will help "witness" that the hook case is indeed a lot simpler,
and also compensate for the increased complexity that comes from
content-addressed derivation outputs.
2. It also moves us ever so slightly towards a world where we could use
off-the-shelf storage or sandboxing, since `local-derivation-goal`
would be gutted in those cases, but `derivation-goal` should remain
nearly the same.
The new `#if 0` in the new files will be deleted in the following
commit. I keep it here so if it turns out more stuff can be moved over,
it's easy to do so in a way that preserves ordering --- and thus
prevents conflicts.
N.B.
```sh
git diff HEAD^^ --color-moved --find-copies-harder --patience --stat
```
makes nicer output.
Diffstat (limited to 'doc/manual/generate-options.nix')
0 files changed, 0 insertions, 0 deletions