Prepare for releasae

creusot-rs · Jul 30, 2024 · fe5435a · fe5435a
1 parent e914af7
commit fe5435a
Show file tree

Hide file tree

Showing 15 changed files with 53 additions and 11 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -15,3 +15,14 @@ members = [
 
 [profile.dev]
 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="\\.\\.\\.HEAD", replace="...{{tag_name}}", exactly=1},
+  {file="CHANGELOG.md", search="ReleaseDate", replace="{{date}}"},
+  {file="CHANGELOG.md", search="<!-- next-header -->", replace="<!-- next-header -->\n\n## [Unreleased] - ReleaseDate", exactly=1},
+  {file="CHANGELOG.md", search="<!-- next-url -->", replace="<!-- next-url -->\n[Unreleased]: https://github.com/assert-rs/predicates-rs/compare/{{tag_name}}...HEAD", exactly=1},
+]
diff --git a/cargo-creusot/Cargo.toml b/cargo-creusot/Cargo.toml
@@ -16,4 +16,7 @@ creusot-setup = {path = "../creusot-setup"}
 anyhow = "1.0"
 cargo_metadata = "0.18.1"
 include_dir = "0.7.3"
-tempdir = "0.3.7"
+tempdir = "0.3.7"
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/creusot-args/Cargo.toml b/creusot-args/Cargo.toml
@@ -9,3 +9,6 @@ publish = false
 [dependencies]
 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
@@ -13,3 +13,6 @@ proc-macro = true
 
 [dependencies]
 quote = "1.0.35"
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/creusot-contracts-proc/Cargo.toml b/creusot-contracts-proc/Cargo.toml
@@ -17,3 +17,6 @@ uuid = { version = "1.3", features = ["v4"] }
 pearlite-syn = { version = "0.1", 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
@@ -18,3 +18,6 @@ num-rational = "0.3.2"
 default = []
 typechecker = []
 contracts = []
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/creusot-dev-config/Cargo.toml b/creusot-dev-config/Cargo.toml
@@ -8,3 +8,6 @@ publish = false
 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
@@ -7,4 +7,7 @@ publish = false
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-indexmap = "1.7.0"
+indexmap = "1.7.0"
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/creusot-rustc/Cargo.toml b/creusot-rustc/Cargo.toml
@@ -12,4 +12,7 @@ creusot = { path = "../creusot", version = "0.1" }
 toml = "0.5.8"
 env_logger = "0.10"
 serde = { version = "1.0", features = ["derive"] }
-creusot-args = {path = "../creusot-args"}
+creusot-args = {path = "../creusot-args"}
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/creusot-setup/Cargo.toml b/creusot-setup/Cargo.toml
@@ -15,3 +15,6 @@ reqwest = { version = "0.11", features = ["blocking"] }
 zip = "0.6"
 hex = "0.4"
 sha2 = "0.10"
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/creusot/Cargo.toml b/creusot/Cargo.toml
@@ -41,3 +41,6 @@ harness = false
 
 [package.metadata.rust-analyzer]
 rustc_private = true
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/pearlite-syn/Cargo.toml b/pearlite-syn/Cargo.toml
@@ -24,3 +24,6 @@ parsing = []
 [dev-dependencies]
 insta = "1.0.29"
 ref-cast = "1.0"
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/release.toml b/release.toml
diff --git a/why3/Cargo.toml b/why3/Cargo.toml
@@ -25,3 +25,6 @@ tempfile="3.10.0"
 
 [features]
 serialize = ["serde"]
+
+[package.metadata.release]
+pre-release-replacements = [ ]
diff --git a/why3tests/Cargo.toml b/why3tests/Cargo.toml
@@ -23,3 +23,6 @@ harness = false
 test = false
 name = "session_stats"
 harness = false
+
+[package.metadata.release]
+pre-release-replacements = [ ]