Cargo Features
boolector-sys has no features set by default.
[dependencies]
boolector-sys = { version = "0.7.2", features = ["vendor-lgl"] }
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.
- cc build vendor-lgl?
- cmake build vendor-lgl?
- copy_dir build vendor-lgl?