fix(cryptominisat): depend on gmp

SoftVarE-Group · Dec 2, 2024 · e7d08f9 · e7d08f9
1 parent 43b1dbb
commit e7d08f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/d4-cryptominisat-sys/Cargo.toml b/d4-cryptominisat-sys/Cargo.toml
@@ -14,6 +14,7 @@ repository = "https://github.com/SoftVarE-Group/d4-oxide.git"
 [dependencies]
 d4-cadiback-sys = { version = "0.1", path = "../d4-cadiback-sys" }
 d4-cadical-sys = { version = "0.1", path = "../d4-cadical-sys" }
+d4-gmp-sys = { version = "0.1", path = "../d4-gmp-sys" }
 
 [build-dependencies]
 cmake = "0.1"
diff --git a/d4-cryptominisat-sys/build.rs b/d4-cryptominisat-sys/build.rs
@@ -30,6 +30,7 @@ fn main() {
             "-isystem {}",
             env::var("DEP_CADICAL_INCLUDE").unwrap()
         ))
+        .cxxflag(format!("-isystem {}", env::var("DEP_GMP_INCLUDE").unwrap()))
         .build();
 
     println!("cargo::metadata=INCLUDE={}/include", build.display());