chore(deps): remove atty dependency

chrjabs · Feb 18, 2025 · 7614065 · 7614065
1 parent 4e56926
commit 7614065
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 27 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -19,7 +19,6 @@ edition = "2021"
 
 [workspace.dependencies]
 anyhow = "1.0.95"
-atty = "0.2.14"
 bindgen = "0.71.1"
 bzip2 = "0.5.1"
 cc = { version = "1.2.14", features = ["parallel"] }

diff --git a/tools/Cargo.toml b/tools/Cargo.toml
@@ -8,13 +8,13 @@ description = "Tools and examples built on the RustSAT library"
 keywords = ["rustsat", "sat", "satisfiability"]
 repository = "https://github.com/chrjabs/rustsat"
 readme = "README.md"
+rust-version = "1.70.0"
 include = ["LICENSE", "CHANGELOG.md", "README.md", "/src/"]
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
 anyhow.workspace = true
-atty.workspace = true
 clap.workspace = true
 concolor-clap.workspace = true
 itertools.workspace = true

diff --git a/tools/src/bin/gbmosplit.rs b/tools/src/bin/gbmosplit.rs
@@ -18,7 +18,7 @@ use rustsat::{
 use std::{
     collections::BTreeSet,
     fmt,
-    io::{self, Write},
+    io::{self, IsTerminal, Write},
     path::PathBuf,
 };
 use termcolor::{Buffer, BufferWriter, Color, ColorSpec, WriteColor};
@@ -55,7 +55,7 @@ impl Cli {
                 concolor_clap::ColorChoice::Always => termcolor::ColorChoice::Always,
                 concolor_clap::ColorChoice::Never => termcolor::ColorChoice::Never,
                 concolor_clap::ColorChoice::Auto => {
-                    if atty::is(atty::Stream::Stdout) {
+                    if io::stdout().is_terminal() {
                         termcolor::ColorChoice::Auto
                     } else {
                         termcolor::ColorChoice::Never
@@ -66,7 +66,7 @@ impl Cli {
                 concolor_clap::ColorChoice::Always => termcolor::ColorChoice::Always,
                 concolor_clap::ColorChoice::Never => termcolor::ColorChoice::Never,
                 concolor_clap::ColorChoice::Auto => {
-                    if atty::is(atty::Stream::Stderr) {
+                    if io::stderr().is_terminal() {
                         termcolor::ColorChoice::Auto
                     } else {
                         termcolor::ColorChoice::Never