Nix flake

Development

This comes with a self-contained redo toolchain to help in working with the flake. It basically deploys any input flake into the tmp directory for easier access.

redo targets under tmp/ come in three kinds:

clean

will remove all build products under tmp/

<flake>

will make sure a store path to <flake> exists and puts an indirect root into tmp/<flake>.

<flake>.rw

will make sure a store path to <flake> exists and will copy its contents to tmp/.<flake>.rw and will link to it from tmp/<flake>.rw. (Rationale: On Linux, directories cannot denote reliable targets due to their non-trivial relation to modification time.)