From bb3bc150f378eed6ee96ed221d885c5216550258 Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Thu, 22 Feb 2024 15:47:20 +0200
Subject: [PATCH] fix: remove zlib dependency from minisat and glucose

---
 glucose/build.rs | 5 +++--
 minisat/build.rs | 3 ++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/glucose/build.rs b/glucose/build.rs
index 901ad264..658ab9db 100644
--- a/glucose/build.rs
+++ b/glucose/build.rs
@@ -11,7 +11,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/glucose4.git",
         "main",
-        "257eeb2951a481a12d72f83a37d484360cabdcad",
+        "7446ea43cd7b0beb8778de00fc373849983ad067",
     );
 
     let out_dir = env::var("OUT_DIR").unwrap();
@@ -33,7 +33,8 @@ fn build(repo: &str, branch: &str, commit: &str) {
             .exists()
     {
         let mut conf = cmake::Config::new(glucose_dir);
-        conf.define("BUILD_SYRUP", "OFF");
+        conf.define("BUILD_SYRUP", "OFF")
+            .define("BUILD_EXECUTABLES", "OFF");
         if cfg!(not(feature = "debug")) {
             conf.profile("Release");
         }
diff --git a/minisat/build.rs b/minisat/build.rs
index f7698162..979eab89 100644
--- a/minisat/build.rs
+++ b/minisat/build.rs
@@ -11,7 +11,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/minisat.git",
         "master",
-        "f64a4f78eea61927dec9f151650504defba490c1",
+        "eb54599817dc43bf272b7de8caf6ccf1093ffcbc",
     );
 
     let out_dir = env::var("OUT_DIR").unwrap();
@@ -33,6 +33,7 @@ fn build(repo: &str, branch: &str, commit: &str) {
             .exists()
     {
         let mut conf = cmake::Config::new(minisat_dir);
+        conf.define("BUILD_BINARIES", "OFF");
         if cfg!(not(feature = "debug")) {
             conf.profile("Release");
         }