From 7eef942da4f7965c98df12418683dfdd75e9b306 Mon Sep 17 00:00:00 2001 From: Tom French Date: Thu, 10 Aug 2023 20:36:15 +0100 Subject: [PATCH] feat(nargo): Add support for contracts in `nargo check` --- crates/nargo_cli/src/cli/check_cmd.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/nargo_cli/src/cli/check_cmd.rs b/crates/nargo_cli/src/cli/check_cmd.rs index 8e861f0fc1..432e0b9599 100644 --- a/crates/nargo_cli/src/cli/check_cmd.rs +++ b/crates/nargo_cli/src/cli/check_cmd.rs @@ -44,8 +44,8 @@ fn check_package(package: &Package, compile_options: &CompileOptions) -> Result< let (mut context, crate_id) = prepare_package(package); check_crate_and_report_errors(&mut context, crate_id, compile_options.deny_warnings)?; - if package.is_library() { - // Libraries do not have ABIs. + if package.is_library() || package.is_contract() { + // Libraries do not have ABIs while contracts have many, so we cannot generate a `Prover.toml` file. Ok(()) } else { // XXX: We can have a --overwrite flag to determine if you want to overwrite the Prover/Verifier.toml files