cmm: Never inline package.metadata.* tables

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · May 29, 2024 · 00e9dfe · 00e9dfe
1 parent 680d6fc
commit 00e9dfe
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/crates/private/tests/root-task/verus/core/Cargo.toml b/crates/private/tests/root-task/verus/core/Cargo.toml
@@ -15,7 +15,9 @@ version = "0.1.0"
 authors = ["Nick Spinale <nick.spinale@coliasgroup.com>"]
 edition = "2021"
 license = "BSD-2-Clause"
-metadata = { verus = { verify = true } }
+
+[package.metadata.verus]
+verify = true
 
 [dependencies.builtin]
 git = "https://github.com/coliasgroup/verus.git"

diff --git a/hacking/cargo-manifest-management/tool/crates/toml-normalize/src/builtin_policies.rs b/hacking/cargo-manifest-management/tool/crates/toml-normalize/src/builtin_policies.rs
@@ -18,6 +18,7 @@ pub fn cargo_manifest_policy() -> Policy {
                         | . [-]
                         | ['target'] .{2}
                         | ['profile'] . ['build-override']?
+                        | ['package'] ['metadata'] .
                     "#,
                 )
                 .unwrap(),
@@ -66,7 +67,7 @@ pub fn cargo_manifest_policy() -> Policy {
                 path_regex: PathRegex::new("['package']").unwrap(),
                 key_ordering: KeyOrdering {
                     front: vec!["name".to_owned(), "version".to_owned()],
-                    back: vec!["description".to_owned()],
+                    back: vec!["description".to_owned(), "metadata".to_owned()],
                 },
                 ..Default::default()
             },