From d337e83e26204b929924c7e501dfc198d1670cff Mon Sep 17 00:00:00 2001 From: Li-yao Xia Date: Tue, 3 Dec 2024 16:25:39 +0100 Subject: [PATCH] Add creusot-dev-config to workspace in Cargo.toml --- Cargo.lock | 9 +++++++++ Cargo.toml | 1 + 2 files changed, 10 insertions(+) diff --git a/Cargo.lock b/Cargo.lock index dce82d7f31..b1dfe4ed77 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -478,6 +478,15 @@ dependencies = [ "uuid", ] +[[package]] +name = "creusot-dev-config" +version = "0.3.0" +dependencies = [ + "anyhow", + "creusot-setup", + "which", +] + [[package]] name = "creusot-metadata" version = "0.3.0" diff --git a/Cargo.toml b/Cargo.toml index 3605bda8e7..9eb77c95a4 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -8,6 +8,7 @@ members = [ "creusot-contracts-proc", "creusot-contracts-dummy", "creusot-metadata", + "creusot-dev-config", "why3", "why3tests", "pearlite-syn",