Cargo Features
[dependencies]
yices2-sys = { version = "2.6.4", default-features = false, features = ["use-generated", "clang", "gcc"] }- default = clang
-
By default, use clang to compile libpoly, libgmp, libcudd, and libyices
- use-generated
-
Use the generated bindings instead of the included bindings. This can be useful when updating to use a newer version of yices2, but should otherwise not be required as the yices2 version is locked to the vendored code.
- clang default
-
Compile libpoly, libgmp, libcudd, and libyices with clang. A CC/CXX environment variable defined at build time takes precedence over this option.
- gcc
-
Compile libpoly, libgmp, libcudd, and libyices with gcc. A CC/CXX environment variable defined at build time takes precedence over this option.