From 531708c4d37f1dc0623f95e42eafb7b73b71ec32 Mon Sep 17 00:00:00 2001
From: Mark <mark.denhoed@cs.ox.ac.uk>
Date: Mon, 9 Dec 2024 09:58:02 +0000
Subject: [PATCH] Add note on cc pinning

---
 z3-sys/Cargo.toml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/z3-sys/Cargo.toml b/z3-sys/Cargo.toml
index 84208b33..4633a492 100644
--- 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"