diff options
| author | sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com> | 2026-02-05 21:36:29 +0800 |
|---|---|---|
| committer | sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com> | 2026-02-05 21:36:29 +0800 |
| commit | c8167fca350c79c61ac79dbd379302fa3c49dabb (patch) | |
| tree | 04efdf6f64ddd0391a6842f116a10e128fcecf46 | |
| parent | synapse-admin-etkecc: 0.11.1-etke52 -> 0.11.1-etke53 (#487146) (diff) | |
| download | nixpkgs-c8167fca350c79c61ac79dbd379302fa3c49dabb.tar.gz | |
vampire: allow custom z3 version to be overridden
| -rw-r--r-- | pkgs/by-name/va/vampire/package.nix | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/pkgs/by-name/va/vampire/package.nix b/pkgs/by-name/va/vampire/package.nix index bd7f48dd99c6..89224bc491b6 100644 --- a/pkgs/by-name/va/vampire/package.nix +++ b/pkgs/by-name/va/vampire/package.nix @@ -4,10 +4,7 @@ fetchFromGitHub, cmake, z3, -}: - -let - z3_4_14_0 = z3.overrideAttrs rec { + z3' ? z3.overrideAttrs rec { version = "4.14.0"; src = fetchFromGitHub { owner = "Z3Prover"; @@ -15,8 +12,8 @@ let rev = "z3-${version}"; hash = "sha256-Bv7+0J7ilJNFM5feYJqDpYsOjj7h7t1Bx/4OIar43EI="; }; - }; -in + }, +}: stdenv.mkDerivation (finalAttrs: { pname = "vampire"; version = "5.0.1"; @@ -31,10 +28,10 @@ stdenv.mkDerivation (finalAttrs: { nativeBuildInputs = [ cmake ]; buildInputs = [ - z3_4_14_0 + z3' ]; - cmakeFlags = [ (lib.cmakeFeature "Z3_DIR" "${z3_4_14_0.dev}/lib/cmake") ]; + cmakeFlags = [ (lib.cmakeFeature "Z3_DIR" "${z3'.dev}/lib/cmake") ]; enableParallelBuilding = true; |