flake: add source filter for kairos-contracts, nixos, kairos-prover

cspr-rad · Apr 3, 2024 · 0881661 · 0881661
1 parent acc3bd1
commit 0881661
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -48,6 +48,7 @@
             src = lib.cleanSourceWith {
               src = craneLib.path ./.;
               filter = path: type:
+                !(builtins.elem (builtins.baseNameOf path) [ "kairos-contracts" "nixos" "kairos-prover" ]) &&
                 # Allow static files.
                 (lib.hasInfix "/fixtures/" path) ||
                 # Default filter (from crane) for .rs files.