day 24: use git z3

checkout is a bit long (no sparse, see rust-lang/cargo#11165 ), but it is faster than fully building z3. Latest version supports bindgen's pkg-config and builds on Fedora.
anisse · Dec 25, 2023 · 4dbee0b · 4dbee0b
1 parent d84db79
commit 4dbee0b
Show file tree

Hide file tree

Showing 2 changed files with 96 additions and 26 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,7 +6,8 @@ edition = "2021"
 
 [dependencies]
 itertools = "0.12.0"
-z3 = { version = "0.12.1", features = ["static-link-z3"] }# cannot find z3.h in fedora
+z3 = { git = "https://github.com/prove-rs/z3.rs/", rev = "50331a4" }
+#z3 = { version = "0.12.1", features = ["static-link-z3"] }# cannot find z3.h in fedora
 #z3 = "0.12.1"
 
 [features]