diff options
author | Vincent Ambo <mail@tazj.in> | 2022-12-08T13·55+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-12-15T17·26+0000 |
commit | 64f812b2f0ecd1b6759d8f2e4a9f05905f52e99d (patch) | |
tree | a8500fc19d2ff4b2244542de07dd198c6227c087 /.gitignore | |
parent | 3aca3d3bba54eaedefc7c472af8bca16ce1f163d (diff) |
refactor(tvix): provide a combined //tvix:shell mkShell target r/5421
Manually maintained shell target based on the previous "loose" `shell.nix` file. We might want to have a function that combines the dependencies of all the targets automatically, but at a quick glance that was actually non-trivial so I'm leaving it as an exercise for someone else. Change-Id: I74754940088f1b58e3b6754fb782470c80ea4292 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7540 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions