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());