Cargo Features
z3-sys has no features set by default.
[dependencies]
z3-sys = { version = "0.8.1", features = ["static-link-z3"] }- static-link-z3 = cmake
-
Enable this feature to statically link our own build of Z3, rather than dynamically linking to the system's
libz3.so.
Features from optional dependencies
In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.
- cmake build static-link-z3?