kure2-sys 0.2.1

FFI bindings for Kure2, a C library which provides manipulation of relations and operations of relation algebra
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
63
64
65
66
67
68
69

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("kure2-2.2");
    let out_dir: PathBuf = std::env::var("OUT_DIR").unwrap().into();
    let build_dir = out_dir.join("kure2-2.2");

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

    let cudd_dir: PathBuf = std::env::var("DEP_CUDD_DIR").unwrap().into();
    let gmp_dir: PathBuf = std::env::var("DEP_GMP_OUT_DIR").unwrap().into();
    let lua_dir: PathBuf = std::env::var("DEP_KURE2_LUA_DIR").unwrap().into();
    let lua_luac: PathBuf = std::env::var("DEP_KURE2_LUA_LUAC").unwrap().into();
    let lua_pc: PathBuf = std::env::var("DEP_KURE2_LUA_PC").unwrap().into();

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

    let status = Command::new("./configure")
        .arg(format!("--with-cudd={}", cudd_dir.display()))
        .arg(format!("--with-gmp-dir={}", gmp_dir.display()))
        .arg(format!("--with-lua-pc={}", lua_pc.display()))
        .arg(format!("LUAC={}", lua_luac.display()))
        .current_dir(&build_dir)
        .status()
        .unwrap();
    assert!(status.success());

    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()))
        .clang_arg(format!("-I{}", cudd_dir.join("include").display()))
        .clang_arg(format!("-I{}", gmp_dir.join("include").display()))
        .clang_arg(format!("-I{}", lua_dir.join("include").display()))
        .blocklist_file(".*/usr/.*")
        .blocklist_file(".*/cudd.h")
        .blocklist_file(".*/gmp.h")
        .blocklist_file(".*/lua.h")
        .allowlist_item("_?(KURE|Kure|kure).*")
        .generate()
        .unwrap();

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

    pkg_config::Config::new()
        .atleast_version("2.0")
        .probe("glib-2.0")
        .unwrap();

    println!("cargo::metadata=dir={}", build_dir.display());
    println!(
        "cargo:rustc-link-search={}",
        build_dir.join("src/.libs").display()
    );
    println!("cargo:rustc-link-lib=kure2");
}