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