Update bundled z3 (fix windows debug builds) (#295)

* Update build.rs * Update build.rs * Update build.rs
prove-rs · May 29, 2024 · 57e0adc · 57e0adc
1 parent 8d1870f
commit 57e0adc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/z3-sys/build.rs b/z3-sys/build.rs
@@ -150,6 +150,7 @@ fn build_bundled_z3() {
         cfg.build_arg("-m");
         cfg.cxxflag("-DWIN32");
         cfg.cxxflag("-D_WINDOWS");
+        cfg.define("CMAKE_MSVC_RUNTIME_LIBRARY", "MultiThreadedDLL");
     }
 
     let dst = cfg.build();