Merge branch 'master' into _update-deps/runtimeverification/pyk

runtimeverification · Mar 20, 2024 · 3ae84b2 · 3ae84b2
2 parents d38d8f5 + 92be72e
commit 3ae84b2
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -32,7 +32,7 @@
     let
       nixLibs = pkgs:
         with pkgs;
-        "-I${procps}/include -L${procps}/lib -I${openssl.dev}/include -L${openssl.out}/lib";
+        "-I${procps}/include -L${procps}/lib -I${openssl.dev}/include -L${openssl.out}/lib -I${secp256k1}/include -L${secp256k1}/lib";
       buildInputs = pkgs:
         with pkgs;
         [
@@ -68,7 +68,6 @@
             version = self.rev or "dirty";
             buildInputs = buildInputs final ++ [ final.kevm-pyk ];
             nativeBuildInputs = [ prev.makeWrapper ];
-            propagatedBuildInputs = [ final.secp256k1 ];
 
             src = prev.stdenv.mkDerivation {
               name = "kevm-${self.rev or "dirty"}-src";