Expose //tvix as a josh workspace

#247
Opened by flokli at 2023-02-01T11·20+00

It's a fair ask to be able to clone only tvix, and ensure everything still builds (in a plain cargo build), by using a second buildkite pipeline like tvl-kit does.

This shouldn't contain any of our readTree tooling, but we probably still want to ship a shell.nix with the same packages as in //tvix:shell, so people can nix-shell and cargo build.

This might require juggling some files around in the repo itself.

Using the same nixpkgs as the tvl repo might be more tricky, due to how third_party/nixpkgs/default.nix is currently structured.

  1. flokli updated the body of this issue at 2023-02-01T11·21+00
  2. This has been implemented! You can git clone https://code.tvl.fyi/depot.git:workspace=views/tvix.git, and it's also mirrored to https://github.com/tvlfyi/tvix

    flokli at 2023-02-01T17·49+00

  3. flokli closed this issue at 2023-02-01T17·49+00