Merge pull request #66 from starcoinorg/starcoin-main-v6-dag-viewer-d…

…ep-upgrade [dag-node-viewer] upgrade library dependency for `termcolor`
starcoinorg · Jun 1, 2024 · 8265bf7 · 8265bf7
2 parents 7b6ac7b + 26cd150
commit 8265bf7
Show file tree

Hide file tree

Showing 4 changed files with 65 additions and 8 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/language/move-prover/Cargo.toml b/language/move-prover/Cargo.toml
@@ -36,7 +36,7 @@ pretty = "0.10.0"
 rand = "0.8.3"
 serde = { version = "1.0.124", features = ["derive"] }
 serde_json = "1.0.64"
-simplelog = "0.9.0"
+simplelog = "0.12.2"
 once_cell = "1.7.2"
 tokio = { version = "1.18.2", features = ["full"] }
 toml = "0.5.8"

diff --git a/language/move-prover/src/cli.rs b/language/move-prover/src/cli.rs
@@ -19,7 +19,7 @@ use move_compiler::shared::NumericalAddress;
 use once_cell::sync::Lazy;
 use serde::{Deserialize, Serialize};
 use simplelog::{
-    CombinedLogger, Config, ConfigBuilder, LevelPadding, SimpleLogger, TermLogger, TerminalMode,
+    CombinedLogger, Config, ConfigBuilder, LevelPadding, SimpleLogger, TermLogger, TerminalMode, ColorChoice,
 };
 
 use codespan_reporting::diagnostic::Severity;
@@ -803,6 +803,7 @@ impl Options {
                 self.verbosity_level,
                 config,
                 TerminalMode::Mixed,
+                ColorChoice::Auto,
             )])
         } else {
             CombinedLogger::init(vec![SimpleLogger::new(self.verbosity_level, config)])

diff --git a/rust-toolchain b/rust-toolchain
@@ -1 +1 @@
-1.65.0
+1.67.0