diff options
Diffstat (limited to 'tvix/proto/default.nix')
| -rw-r--r-- | tvix/proto/default.nix | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tvix/proto/default.nix b/tvix/proto/default.nix deleted file mode 100644 index ac0ee66e87..0000000000 --- a/tvix/proto/default.nix +++ /dev/null @@ -1,9 +0,0 @@ -# Build protocol buffer definitions to ensure that protos are valid in -# CI. Note that the output of this build target is not actually used -# anywhere, it just functions as a CI check for now. -{ pkgs, ... }: - -pkgs.runCommandNoCC "tvix-cc-proto" { } '' - mkdir $out - ${pkgs.protobuf}/bin/protoc -I ${./.} evaluator.proto --cpp_out=$out -'' |