1 files changed, 26 insertions, 0 deletions
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");
+}