boolector-sys 0.7.2

Low-level bindings for the Boolector SMT solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#[cfg(feature = "vendor-lgl")]
include!("build-vendor.rs");

fn main() {
    #[cfg(feature = "vendor-lgl")]
    {
        if std::env::var("BOOLECTOR_NO_VENDOR").map_or(true, |s| s == "0") {
            let boolector = Build::new().prerequisites().build();

            println!("cargo:vendored=1");
            println!("cargo:root={}", boolector.lib_dir().parent().unwrap().display());

            boolector.print_cargo_metadata();
        }
    }

    println!("cargo:rustc-link-lib=boolector");
}