diff options
Diffstat (limited to 'tvix/proto')
-rw-r--r-- | tvix/proto/LICENSE | 2 | ||||
-rw-r--r-- | tvix/proto/castore.proto | 59 | ||||
-rw-r--r-- | tvix/proto/default.nix | 1 |
3 files changed, 1 insertions, 61 deletions
diff --git a/tvix/proto/LICENSE b/tvix/proto/LICENSE index 36878fe4cbf1..2034ada6fd9a 100644 --- a/tvix/proto/LICENSE +++ b/tvix/proto/LICENSE @@ -1,4 +1,4 @@ -Copyright © 2021 The Tvix Authors +Copyright © The Tvix Authors Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the diff --git a/tvix/proto/castore.proto b/tvix/proto/castore.proto deleted file mode 100644 index 89cfb82e48fe..000000000000 --- a/tvix/proto/castore.proto +++ /dev/null @@ -1,59 +0,0 @@ -// SPDX-FileCopyrightText: edef <edef@unfathomable.blue> -// SPDX-License-Identifier: OSL-3.0 OR MIT OR Apache-2.0 - -syntax = "proto3"; - -package tvix.proto.v1; - -// A Directory can contain Directory, File or Symlink nodes. -// Each of these nodes have a name attribute, which is the basename in that directory -// and node type specific attributes. -// The name attribute: -// - may not contain slashes or null bytes -// - needs to be unique across all three lists -// Elements in each list need to be lexicographically ordered by the name -// attribute. -message Directory { - repeated DirectoryNode directories = 1; - repeated FileNode files = 2; - repeated SymlinkNode symlinks = 3; -} - -// A DirectoryNode represents a directory in a Directory. -message DirectoryNode { - // The (base)name of the directory - string name = 1; - // The blake3 hash of a Directory message, serialized in protobuf canonical form. - bytes digest = 2; - // Number of child elements in the Directory referred to by `digest`. - // Calculated by summing up the numbers of `directories`, `files` and - // `symlinks`, and for each directory, its size field. Used for inode - // number calculation. - // This field is precisely as verifiable as any other Merkle tree edge. - // Resolve `digest`, and you can compute it incrementally. Resolve the - // entire tree, and you can fully compute it from scratch. - // A credulous implementation won't reject an excessive size, but this is - // harmless: you'll have some ordinals without nodes. Undersizing is - // obvious and easy to reject: you won't have an ordinal for some nodes. - uint32 size = 3; -} - -// A FileNode represents a regular or executable file in a Directory. -message FileNode { - // The (base)name of the file - string name = 1; - // The blake3 digest of the file contents - bytes digest = 2; - // The file content size - uint32 size = 3; - // Whether the file is executable - bool executable = 4; -} - -// A SymlinkNode represents a symbolic link in a Directory. -message SymlinkNode { - // The (base)name of the symlink - string name = 1; - // The target of the symlink. - string target = 2; -} diff --git a/tvix/proto/default.nix b/tvix/proto/default.nix index 26673cdf747f..35e2eba7fed4 100644 --- a/tvix/proto/default.nix +++ b/tvix/proto/default.nix @@ -5,6 +5,5 @@ pkgs.runCommand "tvix-cc-proto" { } '' mkdir $out - ${pkgs.protobuf}/bin/protoc -I ${./.} castore.proto --cpp_out=$out ${pkgs.protobuf}/bin/protoc -I ${./.} evaluator.proto --cpp_out=$out '' |