Rename v2 setup crate to toolchain-config

anneal/Cargo.toml

@@ -1,5 +1,5 @@
 [workspace]
-members = [".", "tools/doc_gen", "v2/setup"]
+members = [".", "tools/doc_gen", "v2/toolchain-config"]
 
 [package]
 name = "cargo-anneal"

anneal/v2/result

@@ -0,0 +1 @@
+/nix/store/592hg0sahwy2p9vnj2wq31arkymvyl23-anneal-toolchain-omnibus-0.1.0

anneal/v2/src/main.rs

@@ -0,0 +1,49 @@
+
+
+/// Anneal: A Literate Verification Toolchain
+#[derive(clap::Parser, Debug)]
+#[command(name = "cargo-anneal", version, about, long_about = None)]
+struct Cli {
+    #[command(subcommand)]
+    command: Commands,
+}
+
+#[derive(clap::Subcommand, Debug)]
+enum Commands {
+    /// Setup Anneal dependencies
+    Setup(SetupArgs),
+}
+
+#[derive(clap::Args, Debug)]
+#[group(multiple = false)]
+struct SetupArgs {
+    /// Path to the toolchain archive
+    #[arg(long)]
+    archive: Option<PathBuf>,
+    /// Path to the external toolchain directory
+    #[arg(long)]
+    dir: Option<PathBuf>,
+    /// Pull toolchain archive from remote explicitly
+    #[arg(long)]
+    remote: bool,
+}
+
+fn is_development_environment() -> bool {
+    std::env::var("__ZEROCOPY_LOCAL_DEV").is_ok()
+}
+
+fn main() {
+    let mut args_iter = std::env::args_os().peekable();
+    let bin_name = args_iter.next().unwrap_or_else(|| "cargo-anneal".into());
+    // If we're being run as a cargo plugin, the second argument will be "anneal".
+    if args_iter.peek().is_some_and(|arg| arg == "anneal") {
+        args_iter.next();
+    }
+    let args = Cli::parse_from(std::iter::once(bin_name).chain(args_iter));
+    if is_development_environment() {
+
+    } else {
+
+    }
+    println!("Hello, world!");
+}

anneal/v2/setup/Cargo.toml → anneal/v2/toolchain-config/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "setup"
+name = "toolchain-config"
 version = "0.1.0"
 edition = "2024"