Skip to content

Commit

Permalink
flake: correct src path
Browse files Browse the repository at this point in the history
  • Loading branch information
d-xo committed Nov 14, 2023
1 parent cb65318 commit 7b1c85e
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 @@ -20,7 +20,7 @@
hevm = hevmUpstream.packages.${system}.noTests;
};
};
act = (myHaskellPackages.callCabal2nixWithOptions "act" (gitignore ./src) "-fci" {})
act = (myHaskellPackages.callCabal2nixWithOptions "act" (gitignore ./.) "-fci" {})
.overrideAttrs (attrs : {
buildInputs = attrs.buildInputs ++ [ pkgs.z3 pkgs.cvc5 ];
});
Expand Down

0 comments on commit 7b1c85e

Please sign in to comment.