also patch kevm-pyk src to make cachix build match usual nix build

Author: juliankuners

flake.nix

@@ -54,16 +54,15 @@
 
             src = prev.stdenv.mkDerivation {
               name = "kevm-${self.rev or "dirty"}-src";
-              src = prev.lib.cleanSource
-                (prev.nix-gitignore.gitignoreSourcePure [
+              src = final.lib.cleanSource
+                (final.nix-gitignore.gitignoreSourcePure [
                   ./.gitignore
                   ".github/"
                   "result*"
                   "*.nix"
-                  "deps/"
                   "kevm-pyk/"
-                  # submodule directories are initilized empty by git, but
-                  # not included by nix flakes/nix CLI
+                  # do not include submodule directories that might be initilized empty or non-existent
+                  "/deps/"
                   "/tests/ethereum-tests"
                   "/web/k-web-theme"
                 ] ./.);
@@ -130,7 +129,13 @@
 
           kevm-pyk = poetry2nix.mkPoetryApplication {
             python = prev.python310;
-            projectDir = ./kevm-pyk;
+            projectDir = final.lib.cleanSource (
+              final.nix-gitignore.gitignoreSourcePure [
+                ./.gitignore
+                # do not include submodule directories that might be initilized empty or non-existent
+                "/src/kevm_pyk/kproj/plugin"
+              ] ./kevm-pyk/.
+            );
             overrides = poetry2nix.overrides.withDefaults
               (finalPython: prevPython: {
                 kframework = prev.pyk-python310;
@@ -204,8 +209,11 @@
               ".github/"
               "result*"
               "*.nix"
-              "deps/"
               "kevm-pyk/"
+              # do not include submodule directories that might be initilized empty or non-existent
+              "/deps/"
+              "/tests/ethereum-tests"
+              "/web/k-web-theme"
             ] ./.);
           };