Add note on cc pinning

prove-rs · Dec 9, 2024 · 531708c · 531708c
1 parent 419643b
commit 531708c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/z3-sys/Cargo.toml b/z3-sys/Cargo.toml
@@ -17,6 +17,8 @@ repository = "https://github.com/prove-rs/z3.rs.git"
 
 [build-dependencies]
 bindgen = { version = "0.70", default-features = false, features = ["runtime"] }
+# Temporarily pinning cc to 1.1 as 1.2 and later use -fno-exceptions, which
+# breaks the z3 build. See https://github.com/prove-rs/z3.rs/issues/328
 cc = "~1.1"
 cmake = { version = "0.1.49", optional = true }
 pkg-config = "0.3.27"