mcpat-sys 0.2.0

The package provides bindings to McPAT.
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

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

macro_rules! cmd(
    ($name:expr) => (process::Command::new($name));
);

macro_rules! get(
    ($name:expr) => (env::var($name).unwrap_or(String::new()));
);

macro_rules! run(
    ($command:expr) => (
        assert!($command.stdout(process::Stdio::inherit())
                        .stderr(process::Stdio::inherit())
                        .status().unwrap().success());
    );
);

fn main() {
    let build = PathBuf::from(&get!("CARGO_MANIFEST_DIR")).join("build");
    let output = PathBuf::from(&get!("OUT_DIR"));

    run!(cmd!("make").arg(&format!("-j{}", get!("NUM_JOBS")))
                     .current_dir(&build));

    println!("cargo:rustc-link-lib=dylib=mcpat");
    println!("cargo:rustc-link-search={}", output.display());
}