cudd2-sys 0.2.0

FFI bindings for CUDD, a C library for the manipulation of decision diagrams
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

use std::{path::PathBuf, process::Command};

use fs_extra::dir::CopyOptions;

fn main() {
    let manifest_dir: PathBuf = std::env::var("CARGO_MANIFEST_DIR").unwrap().into();
    let src_dir = manifest_dir.join("cudd-cudd-2.5.1");
    let out_dir: PathBuf = std::env::var("OUT_DIR").unwrap().into();
    let build_dir = out_dir.join("cudd-cudd-2.5.1");

    println!("cargo:rerun-if-changed=build.rs");
    println!("cargo:rerun-if-changed=wrapper.h");
    println!("cargo:rerun-if-changed={}", src_dir.display());

    fs_extra::copy_items(&[&src_dir], &out_dir, &CopyOptions::new().overwrite(true)).unwrap();

    let status = Command::new("make")
        .current_dir(&build_dir)
        .status()
        .unwrap();
    assert!(status.success());

    let bindings = bindgen::Builder::default()
        .header("wrapper.h")
        .clang_arg(format!("-I{}", build_dir.join("include").display()))
        .blocklist_file(".*/usr/.*")
        .blocklist_type(".*HalfWord")
        .blocklist_type("DdNode.*")
        .blocklist_item("Mtr.*")
        .blocklist_item("Cudd.*Tree.*")
        .generate()
        .unwrap();

    let out_path = PathBuf::from(&out_dir);
    bindings
        .write_to_file(out_path.join("bindings.rs"))
        .unwrap();

    println!("cargo::metadata=dir={}", build_dir.display());
    println!(
        "cargo:rustc-link-search={}",
        build_dir.join("cudd").display()
    );
    println!("cargo:rustc-link-lib=cudd");
    println!(
        "cargo:rustc-link-search={}",
        build_dir.join("mtr").display()
    );
    println!("cargo:rustc-link-lib=dddmp");
    println!(
        "cargo:rustc-link-search={}",
        build_dir.join("dddmp").display()
    );
    println!("cargo:rustc-link-lib=mtr");
    println!("cargo:rustc-link-search={}", build_dir.join("st").display());
    println!("cargo:rustc-link-lib=st");
    println!(
        "cargo:rustc-link-search={}",
        build_dir.join("util").display()
    );
    println!("cargo:rustc-link-lib=util");
}