Rename argus to argus-lib

cognitive-engineering-lab · Feb 23, 2024 · c06b6f9 · c06b6f9
1 parent 81058e6
commit c06b6f9
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 12 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/argus/Cargo.toml b/crates/argus/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "argus"
+name = "argus-lib"
 version = "0.1.0"
 edition = "2021"
 authors = ["Gavin Gray <[email protected]>"]
@@ -32,7 +32,7 @@ lazy_static = { version = "1.4", optional = true }
 ts-rs = { version = "7.1.1", features = ["indexmap-impl"], optional = true }
 
 [dev-dependencies]
-argus = { path = ".", features = ["testing"] }
+argus-lib = { path = ".", features = ["testing"] }
 rustc_utils = { version = "=0.9.0-nightly-2024-01-24", features = ["serde", "ts-rs"] }
 test-log = "0.2.11"
 env_logger = "0.9.3"

diff --git a/crates/argus/tests/obligations.rs b/crates/argus/tests/obligations.rs
@@ -1,4 +1,4 @@
-use argus::test_utils as tu;
+use argus_lib::test_utils as tu;
 
 #[test_log::test]
 fn obligations() {

diff --git a/crates/argus_cli/Cargo.toml b/crates/argus_cli/Cargo.toml
@@ -10,7 +10,7 @@ license = "MIT"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-argus = { version = "0.1.0", path = "../argus" }
+argus-lib = { version = "0.1.0", path = "../argus" }
 rustc_plugin = "=0.9.0-nightly-2024-01-24"
 rustc_utils = { version = "=0.9.0-nightly-2024-01-24", features = ["serde"] }
 

diff --git a/crates/argus_cli/src/plugin.rs b/crates/argus_cli/src/plugin.rs
@@ -6,7 +6,7 @@ use std::{
   time::Instant,
 };
 
-use argus::{
+use argus_lib::{
   emitter::SilentEmitter,
   types::{ObligationHash, ToTarget},
 };
@@ -188,7 +188,7 @@ impl RustcPlugin for ArgusPlugin {
         };
 
         let v = run(
-          argus::analysis::tree,
+          argus_lib::analysis::tree,
           Some(PathBuf::from(&file)),
           compute_target,
           &compiler_args,
@@ -198,7 +198,7 @@ impl RustcPlugin for ArgusPlugin {
       Obligations { file, .. } => {
         let nothing = || None::<(ObligationHash, CharRange)>;
         let v = run(
-          argus::analysis::obligations,
+          argus_lib::analysis::obligations,
           file.map(PathBuf::from),
           nothing,
           &compiler_args,
@@ -323,7 +323,7 @@ impl<A: ArgusAnalysis, T: ToTarget, F: FnOnce() -> Option<T>>
 
           debug!("target: {target:?}");
 
-          fluid_set!(argus::analysis::OBLIGATION_TARGET, target);
+          fluid_set!(argus_lib::analysis::OBLIGATION_TARGET, target);
 
           find_enclosing_bodies(tcx, body_span)
             .filter_map(|b| inner((body_span, b)))

diff --git a/crates/argus_cli/tests/test_examples.rs b/crates/argus_cli/tests/test_examples.rs
@@ -1,4 +1,4 @@
-use std::{env, fmt::Debug, fs, path::Path, process::Command, sync::Once};
+use std::{env, fs, path::Path, process::Command, sync::Once};
 
 use anyhow::{ensure, Context, Result};