Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
update minisat/glucose for windows
Browse files Browse the repository at this point in the history
chrjabs committed Jan 9, 2024
1 parent e5ab951 commit 851e128
Showing 3 changed files with 6 additions and 6 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/check-test.yml
Original file line number Diff line number Diff line change
@@ -26,15 +26,15 @@ jobs:
shell: bash
run: |
if [ "$RUNNER_OS" == "Windows" ]; then
cargo build --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical
cargo build --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical --exclude rustsat-glucose
else
cargo build --workspace --verbose --features=all
fi
- name: Cargo test
shell: bash
run: |
if [ "$RUNNER_OS" == "Windows" ]; then
cargo test --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical
cargo test --workspace --verbose --features=all --exclude rustsat-kissat --exclude rustsat-cadical --exclude rustsat-glucose
else
cargo test --workspace --verbose --features=all
fi
4 changes: 2 additions & 2 deletions glucose/build.rs
Original file line number Diff line number Diff line change
@@ -7,7 +7,7 @@ fn main() {
build(
"https://github.com/chrjabs/glucose4.git",
"main",
"50caaa1c45dd217cbdbd43793c5a8c8824db78d4",
"32ef3316caf06359c01e0b538dba47fafb0939e2",
);

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++");
}

4 changes: 2 additions & 2 deletions minisat/build.rs
Original file line number Diff line number Diff line change
@@ -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++");
}

0 comments on commit 851e128

Please sign in to comment.