Skip to content

Commit

Permalink
nix: add solc to buildInputs for act
Browse files Browse the repository at this point in the history
  • Loading branch information
d-xo committed Nov 16, 2023
1 parent 1de7ef2 commit 579c7a2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
};
act = (myHaskellPackages.callCabal2nixWithOptions "act" (gitignore ./.) "-fci" {})
.overrideAttrs (attrs : {
buildInputs = attrs.buildInputs ++ [ pkgs.z3 pkgs.cvc5 ];
buildInputs = attrs.buildInputs ++ [ pkgs.z3 pkgs.cvc5 pkgs.solc ];
});
in rec {
packages.act = act;
Expand Down

0 comments on commit 579c7a2

Please sign in to comment.