diff --git a/z3-sys/build.rs b/z3-sys/build.rs index 4d6d4e7c..e93af89d 100644 --- 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();