diff options
Diffstat (limited to 'tvix/proto/default.nix')
| -rw-r--r-- | tvix/proto/default.nix | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tvix/proto/default.nix b/tvix/proto/default.nix new file mode 100644 index 000000000000..0ee102e4f958 --- /dev/null +++ b/tvix/proto/default.nix @@ -0,0 +1,15 @@ +# Target containing just the proto files used in tvix + +{ depot, lib, ... }: + +depot.nix.sparseTree { + name = "tvix-protos"; + root = depot.path.origSrc; + paths = [ + ../castore/protos/castore.proto + ../castore/protos/rpc_blobstore.proto + ../castore/protos/rpc_directory.proto + ../store/protos/pathinfo.proto + ../store/protos/rpc_pathinfo.proto + ]; +} |