gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

z3: version macos compat patches

Browse Source 
patches fix a bug only present in the latest versions of z3
fixes the vampire build, which requires an older version of z3
This commit is contained in:
sempiternal-aurora
2026-02-05 22:03:20 +08:00
parent 1c1bf1b8da
commit ee06439c43
1 changed files with 25 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/z3/z3/package.nix
+25 -22
View File
@@ -38,28 +38,31 @@ stdenv.mkDerivation (finalAttrs: {
hash = "sha256-eyF3ELv81xEgh9Km0Ehwos87e4VJ82cfsp53RCAtuTo=";
};
patches = lib.optionals useCmakeBuild [
./fix-pkg-config-paths.patch
# fix Segmentation fault. See https://github.com/Z3Prover/z3/pull/8264 and
# https://github.com/NixOS/nixpkgs/issues/486491
(fetchpatch2 {
name = "preserve-the-initial-state-of-the-solver.patch";
url = "https://github.com/Z3Prover/z3/commit/850a3236adab92f9f6f569ac66ffbb69be179f4c.patch?full_index=1";
hash = "sha256-C6p+dj3i3DpOnd2wr+R8ZwClHoMFfk5i5/+JRhTDNcs=";
})
# needs to include a cosmetic change to apply patch for memory corruption
(fetchpatch2 {
name = "cosmetic-changes-to-i.patch";
url = "https://github.com/Z3Prover/z3/commit/243694379475d983605f87578452a330f3e3b28f.patch?full_index=1";
includes = [ "src/api/api_polynomial.cpp" ];
hash = "sha256-huo5S73WrFrEEUcaP+1LDQwGwo+n2iYT4x/OjK5rmqQ=";
})
(fetchpatch2 {
name = "fix-memory-corruption.patch";
url = "https://github.com/Z3Prover/z3/commit/e7b6f3f33bcc6c88a0f2ace47ff2f09b59239433.patch?full_index=1";
hash = "sha256-kEEeod4s8i9SI2e2TFD2U4yd1qEPoGnJOfE0y+1Cq6M=";
})
];
patches =
lib.optionals useCmakeBuild [
./fix-pkg-config-paths.patch
]
++ lib.optionals (lib.versionAtLeast finalAttrs.version "4.15.4") [
# fix Segmentation fault. See https://github.com/Z3Prover/z3/pull/8264 and
# https://github.com/NixOS/nixpkgs/issues/486491
(fetchpatch2 {
name = "preserve-the-initial-state-of-the-solver.patch";
url = "https://github.com/Z3Prover/z3/commit/850a3236adab92f9f6f569ac66ffbb69be179f4c.patch?full_index=1";
hash = "sha256-C6p+dj3i3DpOnd2wr+R8ZwClHoMFfk5i5/+JRhTDNcs=";
})
# needs to include a cosmetic change to apply patch for memory corruption
(fetchpatch2 {
name = "cosmetic-changes-to-i.patch";
url = "https://github.com/Z3Prover/z3/commit/243694379475d983605f87578452a330f3e3b28f.patch?full_index=1";
includes = [ "src/api/api_polynomial.cpp" ];
hash = "sha256-huo5S73WrFrEEUcaP+1LDQwGwo+n2iYT4x/OjK5rmqQ=";
})
(fetchpatch2 {
name = "fix-memory-corruption.patch";
url = "https://github.com/Z3Prover/z3/commit/e7b6f3f33bcc6c88a0f2ace47ff2f09b59239433.patch?full_index=1";
hash = "sha256-kEEeod4s8i9SI2e2TFD2U4yd1qEPoGnJOfE0y+1Cq6M=";
})
];
strictDeps = true;