From a9329ff811551cf8712f42c0a9c8ac9d1ce2897e Mon Sep 17 00:00:00 2001
From: Florian Klink <flokli@flokli.de>
Date: Sat, 19 Aug 2023 17:09:11 +0200
Subject: feat(tvix): add clippy target in CI

This will invoke `cargo clippy` on the codebase, ensuring we spot things
early on.

Relates to b/321.

Change-Id: Ifba13e5bef995d33b24346c6cee134e84d6566c4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/9106
Tested-by: BuildkiteCI
Autosubmit: flokli <flokli@flokli.de>
Reviewed-by: tazjin <tazjin@tvl.su>
---
 tvix/default.nix | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

(limited to 'tvix')

diff --git a/tvix/default.nix b/tvix/default.nix
index 43b942cef096..339a657efd5f 100644
--- a/tvix/default.nix
+++ b/tvix/default.nix
@@ -131,7 +131,31 @@ in
     '';
   };
 
+  # Run cargo clippy. We run it with -Dwarnings, so warnings cause a nonzero
+  # exit code.
+  clippy = pkgs.stdenv.mkDerivation {
+    inherit cargoDeps;
+    name = "tvix-clippy";
+    src = depot.third_party.gitignoreSource ./.;
+    PROTO_ROOT = depot.tvix.proto;
+
+    buildInputs = [
+      pkgs.fuse
+    ];
+    nativeBuildInputs = with pkgs; [
+      cargo
+      clippy
+      pkg-config
+      protobuf
+      rustc
+      rustPlatform.cargoSetupHook
+    ];
+
+    buildPhase = "cargo clippy -- -Dwarnings | tee $out";
+  };
+
   meta.ci.targets = [
+    "clippy"
     "shell"
     "rust-docs"
   ];
-- 
cgit 1.4.1