Merge pull request #279 from prove-rs/update-bundled-z3

Update bundled Z3 to z3 4.12.3.
prove-rs · May 29, 2024 · d134bb3 · d134bb3
2 parents cb7b79a + 105e4f0
commit d134bb3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
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();

diff --git a/z3-sys/z3 b/z3-sys/z3