21 lines
454 B
Nix
21 lines
454 B
Nix
{
|
|
lean4,
|
|
fetchFromGitHub,
|
|
cadical,
|
|
}:
|
|
lean4
|
|
# lean4.overrideAttrs (
|
|
# final: prev: {
|
|
# version = "4.19.0";
|
|
# src = fetchFromGitHub {
|
|
# owner = "leanprover";
|
|
# repo = "lean4";
|
|
# tag = "v4.19.0";
|
|
# hash = "sha256-Iw5JSamrty9l6aJ2WwslAolSHfi2q0UO8P8HI1gp+j8=";
|
|
# };
|
|
# cmakeFlags = (prev.cmakeFlags or [ ]) ++ [ "-DUSE_MIMALLOC=OFF" ];
|
|
#
|
|
# buildInputs = (prev.buildInputs or [ ]) ++ [ cadical ];
|
|
# }
|
|
# )
|