fix(arjun): provide sbva prefix for cmake build

SoftVarE-Group · Dec 1, 2024 · a568285 · a568285
1 parent fe359f9
commit a568285
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/d4-arjun-sys/Cargo.toml b/d4-arjun-sys/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "d4-arjun-sys"
-version = "0.1.1"
+version = "0.1.2"
 description = "A Rust wrapper around Arjun for d4."
 edition = "2021"
 build = "build.rs"
@@ -13,6 +13,7 @@ repository = "https://github.com/SoftVarE-Group/d4-oxide.git"
 
 [dependencies]
 d4-cryptominisat-sys = { version = "0.1", path = "../d4-cryptominisat-sys" }
+d4-sbva-sys = { version = "0.1", path = "../d4-sbva-sys" }
 gmp-mpfr-sys = "1.6"
 
 [build-dependencies]

diff --git a/d4-arjun-sys/build.rs b/d4-arjun-sys/build.rs
@@ -8,6 +8,7 @@ fn main() {
             "CMAKE_PREFIX_PATH",
             env::var("DEP_CRYPTOMINISAT5_ROOT").unwrap(),
         )
+        .define("CMAKE_PREFIX_PATH", env::var("DEP_SBVA_ROOT").unwrap())
         .build();
 
     println!("cargo::metadata=INCLUDE={}/include", build.display());