From e7d08f9cc913d143609a72a19c1ae89d57495572 Mon Sep 17 00:00:00 2001
From: Jan Baudisch <jan.baudisch@uni-ulm.de>
Date: Mon, 2 Dec 2024 13:52:35 +0100
Subject: [PATCH] fix(cryptominisat): depend on gmp

---
 d4-cryptominisat-sys/Cargo.toml | 1 +
 d4-cryptominisat-sys/build.rs   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/d4-cryptominisat-sys/Cargo.toml b/d4-cryptominisat-sys/Cargo.toml
index a055375..db704b2 100644
--- 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
index c723dd8..262639c 100644
--- 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());