diff options
| author | Florian Klink <flokli@flokli.de> | 2023-02-01T13·27+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-02-01T17·11+0000 |
| commit | dbabf728b71fd67bd92b63a2dd857b9cde8d3f1c (patch) | |
| tree | b7daedff81110f1920a054219cc09d90cbf481c2 /views/tvix/workspace.josh | |
| parent | 8ed81cf755bd7129a99c1409dd2da496c13cdaa7 (diff) | |
feat(views/tvix): add tvix josh workspace r/5811
This provides a trimmed-down version of //tvix, that allows building tvix without all of the monorepo cloned. We need to manually vendor in our patch for evans and ``--bytes-as- base64`, as we don't have our depot overlays available in the josh workspace. Fixes https://b.tvl.fyi/issues/247. Change-Id: I24306b8bb16ebf0df238b8f1eee0d47655a14827 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8000 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'views/tvix/workspace.josh')
| -rw-r--r-- | views/tvix/workspace.josh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/views/tvix/workspace.josh b/views/tvix/workspace.josh new file mode 100644 index 000000000000..e0b15c7f30b5 --- /dev/null +++ b/views/tvix/workspace.josh @@ -0,0 +1,5 @@ +:/third_party:[ + ::nixpkgs/ + ::sources/ +] +:/tvix |