From f7aa97e10a2fbddb76e1893b7deb193ad56e7192 Mon Sep 17 00:00:00 2001 From: Andrew Guschin Date: Sun, 31 Mar 2024 18:36:27 +0500 Subject: latest version --- graph-checker/build.rs | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 graph-checker/build.rs (limited to 'graph-checker/build.rs') diff --git a/graph-checker/build.rs b/graph-checker/build.rs new file mode 100644 index 0000000..b706131 --- /dev/null +++ b/graph-checker/build.rs @@ -0,0 +1,26 @@ +use std::process::Command; + +fn main() { + Command::new("make") + .arg("-C") + .arg("nauty") + .arg("libnauty.a") + .status() + .unwrap(); + cc::Build::new() + .file("nauty/geng.c") + .file("nauty/geng-iter.c") + .flag("-O3") + .flag("-Wno-unused-parameter") + .flag("-Wno-sign-compare") + .flag("-Wno-unused-variable") + .define("_XOPEN_SOURCE", None) + .define("MAXN", "WORDSIZE") + .define("WORDSIZE", "32") + .compile("geng"); + + println!("cargo:rerun-if-changed=./nauty/geng.c"); + println!("cargo:rerun-if-changed=./nauty/geng-iter.c"); + println!("cargo:rustc-link-search=./nauty"); + println!("cargo:rustc-link-lib=static=nauty"); +} -- cgit v1.2.3