update minisat/glucose for windows

chrjabs · Jan 9, 2024 · 7ef6df4 · 7ef6df4
1 parent e5ab951
commit 7ef6df4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/glucose/build.rs b/glucose/build.rs
@@ -7,7 +7,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/glucose4.git",
         "main",
-        "50caaa1c45dd217cbdbd43793c5a8c8824db78d4",
+        "257eeb2951a481a12d72f83a37d484360cabdcad",
     );
 
     let out_dir = env::var("OUT_DIR").unwrap();
@@ -41,7 +41,7 @@ fn build(repo: &str, branch: &str, commit: &str) {
     #[cfg(target_os = "macos")]
     println!("cargo:rustc-flags=-l dylib=c++");
 
-    #[cfg(not(target_os = "macos"))]
+    #[cfg(not(any(target_os = "macos", target_os = "windows")))]
     println!("cargo:rustc-flags=-l dylib=stdc++");
 }
 

diff --git a/minisat/build.rs b/minisat/build.rs
@@ -7,7 +7,7 @@ fn main() {
     build(
         "https://github.com/chrjabs/minisat.git",
         "master",
-        "eba7139dfafe76a787e4bbea8464ac140c2dfafd",
+        "f64a4f78eea61927dec9f151650504defba490c1",
     );
 
     let out_dir = env::var("OUT_DIR").unwrap();
@@ -40,7 +40,7 @@ fn build(repo: &str, branch: &str, commit: &str) {
     #[cfg(target_os = "macos")]
     println!("cargo:rustc-flags=-l dylib=c++");
 
-    #[cfg(not(target_os = "macos"))]
+    #[cfg(not(any(target_os = "macos", target_os = "windows")))]
     println!("cargo:rustc-flags=-l dylib=stdc++");
 }