chore(nargo): migrate to clap 4 and use derived interface

crates/nargo/Cargo.toml

@@ -1,5 +1,6 @@
 [package]
 name = "nargo"
+description = "Noir's package manager"
 version.workspace = true
 authors.workspace = true
 edition.workspace = true
@@ -23,7 +24,7 @@ cfg-if.workspace = true
 toml.workspace = true
 serde.workspace = true
 thiserror.workspace = true
-clap = "2.33.3"
+clap = { version = "4.1.4", features = ["derive"]}
 const_format = "0.2.30"
 git-version = "0.3.5"
 hex = "0.4.2"

crates/nargo/src/cli/check_cmd.rs

@@ -1,24 +1,26 @@
 use crate::{errors::CliError, resolver::Resolver};
 use acvm::ProofSystemCompiler;
-use clap::ArgMatches;
+use clap::Args;
 use iter_extended::btree_map;
 use noirc_abi::{Abi, AbiParameter, AbiType};
 use std::{
     collections::BTreeMap,
     path::{Path, PathBuf},
 };
 
-use super::{add_std_lib, write_to_file};
+use super::{add_std_lib, write_to_file, NargoConfig};
 use crate::constants::{PROVER_INPUT_FILE, VERIFIER_INPUT_FILE};
 
-pub(crate) fn run(args: ArgMatches) -> Result<(), CliError> {
-    let args = args.subcommand_matches("check").unwrap();
-    let allow_warnings = args.is_present("allow-warnings");
-
-    let program_dir =
-        args.value_of("path").map_or_else(|| std::env::current_dir().unwrap(), PathBuf::from);
+/// Checks the constraint system for errors
+#[derive(Debug, Clone, Args)]
+pub(crate) struct CheckCommand {
+    /// Issue a warning for each unused variable instead of an error
+    #[arg(short, long)]
+    allow_warnings: bool,
+}
 
-    check_from_path(program_dir, allow_warnings)?;
+pub(crate) fn run(args: CheckCommand, config: NargoConfig) -> Result<(), CliError> {
+    check_from_path(config.program_dir, args.allow_warnings)?;
     println!("Constraint system successfully built!");
     Ok(())
 }