From 04804d582bdd4524aeb85f06e2c3dd810124b0ea Mon Sep 17 00:00:00 2001 From: Xavier Denis Date: Sun, 27 Oct 2024 12:07:25 +0100 Subject: [PATCH] CHANGELOG update --- Cargo.toml | 7 +------ cargo-creusot/Cargo.toml | 2 -- creusot-args/Cargo.toml | 2 -- creusot-contracts-dummy/Cargo.toml | 2 -- creusot-contracts-proc/Cargo.toml | 2 -- creusot-contracts/Cargo.toml | 2 -- creusot-dev-config/Cargo.toml | 2 -- creusot-metadata/Cargo.toml | 2 -- creusot-rustc/Cargo.toml | 2 -- creusot-setup/Cargo.toml | 2 -- creusot/Cargo.toml | 6 +++++- pearlite-syn/Cargo.toml | 2 -- why3/Cargo.toml | 2 -- why3tests/Cargo.toml | 2 -- 14 files changed, 6 insertions(+), 31 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 1e7fcbad40..c16eecd2a4 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -18,9 +18,4 @@ split-debuginfo = "off" [workspace.metadata.release] shared-version = true -tag-name = "v{{version}}" -pre-release-replacements = [ - {file="CHANGELOG.md", search="Unreleased", replace="{{version}}"}, - {file="CHANGELOG.md", search="ReleaseDate", replace="{{date}}"}, - {file="CHANGELOG.md", search="", replace="\n\n## [Unreleased] - ReleaseDate", exactly=1}, -] +tag-name = "v{{version}}" \ No newline at end of file diff --git a/cargo-creusot/Cargo.toml b/cargo-creusot/Cargo.toml index 83c0105c69..bc74b1cc35 100644 --- a/cargo-creusot/Cargo.toml +++ b/cargo-creusot/Cargo.toml @@ -20,5 +20,3 @@ include_dir = "0.7.3" tempdir = "0.3.7" glob = "0.3.1" -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/creusot-args/Cargo.toml b/creusot-args/Cargo.toml index d54f7e29a0..628d39c041 100644 --- a/creusot-args/Cargo.toml +++ b/creusot-args/Cargo.toml @@ -10,5 +10,3 @@ publish = false clap = { version = "4.2.5", features = ["derive", "env"] } serde = { version = "1.0.195", features = ["derive"] } -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/creusot-contracts-dummy/Cargo.toml b/creusot-contracts-dummy/Cargo.toml index 5a3da8df8a..5ded545888 100644 --- a/creusot-contracts-dummy/Cargo.toml +++ b/creusot-contracts-dummy/Cargo.toml @@ -15,5 +15,3 @@ proc-macro = true quote = "1.0.35" proc-macro2 = "1.0.29" -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/creusot-contracts-proc/Cargo.toml b/creusot-contracts-proc/Cargo.toml index e1f82bf669..2a5906b4f9 100644 --- a/creusot-contracts-proc/Cargo.toml +++ b/creusot-contracts-proc/Cargo.toml @@ -18,5 +18,3 @@ pearlite-syn = { version = "0.2", path = "../pearlite-syn", features = ["full"] syn = { version = "2.0.15"} proc-macro2 = "1.0.29" -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/creusot-contracts/Cargo.toml b/creusot-contracts/Cargo.toml index 549e541d3f..cee067d7f2 100644 --- a/creusot-contracts/Cargo.toml +++ b/creusot-contracts/Cargo.toml @@ -19,8 +19,6 @@ default = [] typechecker = [] contracts = [] -[package.metadata.release] -pre-release-replacements = [ ] [lints.rust] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(creusot)'] } \ No newline at end of file diff --git a/creusot-dev-config/Cargo.toml b/creusot-dev-config/Cargo.toml index fa4c8ef4be..cdae96a085 100644 --- a/creusot-dev-config/Cargo.toml +++ b/creusot-dev-config/Cargo.toml @@ -9,5 +9,3 @@ creusot-setup = { path = "../creusot-setup" } anyhow = "1.0" which = "6.0" -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/creusot-metadata/Cargo.toml b/creusot-metadata/Cargo.toml index 5ee7add919..00e0cf01eb 100644 --- a/creusot-metadata/Cargo.toml +++ b/creusot-metadata/Cargo.toml @@ -9,5 +9,3 @@ publish = false [dependencies] indexmap = "1.7.0" -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/creusot-rustc/Cargo.toml b/creusot-rustc/Cargo.toml index a8839e358b..e30a6d99a6 100644 --- a/creusot-rustc/Cargo.toml +++ b/creusot-rustc/Cargo.toml @@ -14,5 +14,3 @@ env_logger = "0.10" serde = { version = "1.0", features = ["derive"] } creusot-args = {path = "../creusot-args"} -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/creusot-setup/Cargo.toml b/creusot-setup/Cargo.toml index d896243d75..3f13f604f9 100644 --- a/creusot-setup/Cargo.toml +++ b/creusot-setup/Cargo.toml @@ -17,5 +17,3 @@ hex = "0.4" sha2 = "0.10" indoc = "2.0.5" -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/creusot/Cargo.toml b/creusot/Cargo.toml index fde0e3cb59..6fcbaad7f1 100644 --- a/creusot/Cargo.toml +++ b/creusot/Cargo.toml @@ -47,4 +47,8 @@ harness = false rustc_private = true [package.metadata.release] -pre-release-replacements = [ ] +pre-release-replacements = [ + {file="../CHANGELOG.md", search="Unreleased", replace="{{version}}"}, + {file="../CHANGELOG.md", search="ReleaseDate", replace="{{date}}"}, + {file="../CHANGELOG.md", search="", replace="\n\n## [Unreleased] - ReleaseDate", exactly=1}, +] diff --git a/pearlite-syn/Cargo.toml b/pearlite-syn/Cargo.toml index 01fc44426b..ad45ecad57 100644 --- a/pearlite-syn/Cargo.toml +++ b/pearlite-syn/Cargo.toml @@ -25,5 +25,3 @@ parsing = [] insta = "1.0.29" ref-cast = "1.0" -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/why3/Cargo.toml b/why3/Cargo.toml index cbfb91adc6..36424490cb 100644 --- a/why3/Cargo.toml +++ b/why3/Cargo.toml @@ -26,5 +26,3 @@ tempfile="3.10.0" [features] serialize = ["serde"] -[package.metadata.release] -pre-release-replacements = [ ] diff --git a/why3tests/Cargo.toml b/why3tests/Cargo.toml index 71e542a812..d82b5cad65 100644 --- a/why3tests/Cargo.toml +++ b/why3tests/Cargo.toml @@ -24,5 +24,3 @@ test = false name = "session_stats" harness = false -[package.metadata.release] -pre-release-replacements = [ ]