fix: remove zlib dependency from minisat and glucose

chrjabs · Feb 22, 2024 · e5783d7 · e5783d7
1 parent 62f912e
commit e5783d7
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git 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
@@ -11,7 +11,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/minisat.git",
         "master",
-        "f64a4f78eea61927dec9f151650504defba490c1",
+        "809d350ff282e695014e96a2afd3625196f58dff",
     );
 
     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");
         }