diff options
| author | Andrew Guschin <guschin.drew@gmail.com> | 2023-08-13 18:15:01 +0400 |
|---|---|---|
| committer | Andrew Guschin <guschin.drew@gmail.com> | 2023-08-13 18:15:01 +0400 |
| commit | 677e15fefe5c61b833dcbe2fa4e9ee90bc996f8c (patch) | |
| tree | a47ed4c0c5fe9fbbdbc105d9f15b1f264a88e8c6 /build.rs | |
| parent | 9b3601717c8cae243667bd6e72adb08476779172 (diff) | |
Diffstat (limited to 'build.rs')
| -rw-r--r-- | build.rs | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -14,12 +14,9 @@ fn main() { .flag("-Wno-unused-parameter") .flag("-Wno-sign-compare") .flag("-Wno-unused-variable") - .flag("-Wno-unused-function") .define("_XOPEN_SOURCE", None) .define("MAXN", "WORDSIZE") .define("WORDSIZE", "32") - .define("OUTPROC", "myoutproc") - .define("GENG_MAIN", "geng_main") .compile("geng"); println!("cargo:rerun-if-changed=./nauty/geng.c"); |