fix(cadiback): include cadical header

SoftVarE-Group · Nov 15, 2024 · 0c548db · 0c548db
1 parent 7aa9b8a
commit 0c548db
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/d4-cadiback-sys/build.rs b/d4-cadiback-sys/build.rs
@@ -1,5 +1,17 @@
+use std::env;
+
 fn main() {
-    let build = cmake::build("cadiback");
+    let build = cmake::Config::new("cadiback")
+        .define(
+            "CMAKE_INCLUDE_PATH",
+            env::var("DEP_CADICAL_INCLUDE").unwrap(),
+        )
+        .cxxflag(format!(
+            "-isystem {}",
+            env::var("DEP_CADICAL_INCLUDE").unwrap()
+        ))
+        .build();
+
     println!("cargo::metadata=INCLUDE={}/include", build.display());
     println!("cargo::rustc-link-search=native={}/lib", build.display());
 }