From f83c898037136ba67c7809aca5da972167024da0 Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Fri, 14 Apr 2023 17:42:45 +0300 Subject: [PATCH] Add the `readme.md` path to the Cargo.toml. According to the rust documentation at https://doc.rust-lang.org/cargo/reference/manifest.html#the-readme-field, the default readme file looked up when creating the package is a capitalised `README.md` (and some others). Since ours isn't capitalised, we have to explicitly indicate the file name. Fixes #7667. --- src/libcprover-rust/Cargo.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/libcprover-rust/Cargo.toml b/src/libcprover-rust/Cargo.toml index 5d362faa734..ea86fca94c8 100644 --- a/src/libcprover-rust/Cargo.toml +++ b/src/libcprover-rust/Cargo.toml @@ -7,6 +7,7 @@ repository = "https://github.com/diffblue/cbmc" documentation = "https://diffblue.github.io/cbmc/" license = "BSD-4-Clause" exclude = ["module_dependencies.txt", "Cargo.lock"] +readme = "readme.md" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html