Switch to z3-sys bundled feature for static linking (#1247)

facebookexperimental · Oct 27, 2023 · b602f32 · b602f32
1 parent abb3ee8
commit b602f32
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 14 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/checker/Cargo.toml b/checker/Cargo.toml
@@ -64,8 +64,8 @@ walkdir = "*"
 contracts = { version = "0.6.0", features = ["mirai_assertions"] }
 
 [features]
-default = ["static-link"]
+default = ["bundled"]
 vcpkg = ["z3-sys/vcpkg", "z3"]
-static-link = ["z3-sys/static-link-z3", "z3"]
+bundled = ["z3-sys/bundled", "z3"]
 z3 = []