Merge pull request #4502 from Patrick-6/reduce-cc-version

Reduce required `cc` crate version for `genmc-sys` sub-crate

Author: RalfJung

src/tools/miri/Cargo.lock

@@ -166,9 +166,9 @@ dependencies = [
 
 [[package]]
 name = "cc"
-version = "1.2.30"
+version = "1.2.16"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "deec109607ca693028562ed836a5f1c4b8bd77755c4e132fc5ce11b0b6211ae7"
+checksum = "be714c154be609ec7f5dad223a33bf1482fff90472de28f7362806e6d4832b8c"
 dependencies = [
  "jobserver",
  "libc",

src/tools/miri/genmc-sys/Cargo.toml

@@ -11,7 +11,7 @@ edition = "2024"
 cxx = { version = "1.0.160", features = ["c++20"] }
 
 [build-dependencies]
-cc = "1.2.30"
+cc = "1.2.16"
 cmake = "0.1.54"
 git2 = { version = "0.20.2", default-features = false, features = ["https"] }
 cxx-build = { version = "1.0.160", features = ["parallel"] }

src/tools/miri/genmc-sys/build.rs

@@ -215,8 +215,10 @@ fn compile_cpp_dependencies(genmc_path: &Path) {
     if enable_genmc_debug {
         bridge.define("ENABLE_GENMC_DEBUG", None);
     }
+    for definition in definitions {
+        bridge.flag(definition);
+    }
     bridge
-        .flags(definitions)
         .opt_level(2)
         .debug(true) // Same settings that GenMC uses (default for cmake `RelWithDebInfo`)
         .warnings(false) // NOTE: enabling this produces a lot of warnings.