From a568285362c5e6778b9f0d92e91e16b9bb1fb9a8 Mon Sep 17 00:00:00 2001 From: Jan Baudisch <jan.baudisch@uni-ulm.de> Date: Sun, 1 Dec 2024 14:07:00 +0100 Subject: [PATCH] fix(arjun): provide sbva prefix for cmake build --- d4-arjun-sys/Cargo.toml | 3 ++- d4-arjun-sys/build.rs | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/d4-arjun-sys/Cargo.toml b/d4-arjun-sys/Cargo.toml index 78936d0..3f89d64 100644 --- 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 index 2140ab8..c06ce11 100644 --- 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());