Skip to content

fix: split package name and crate name for hyphenated packages - #46

Merged
Marsman1996 merged 1 commit into
asterinas:mainfrom
Marsman1996:fix-hyphen
Sep 4, 2026
Merged

fix: split package name and crate name for hyphenated packages#46
Marsman1996 merged 1 commit into
asterinas:mainfrom
Marsman1996:fix-hyphen

Conversation

@Marsman1996

Copy link
Copy Markdown
Collaborator

cargo dv verify --target id_alloc failed for hyphenated packages because dv internally passed the _-normalized name to cargo --package, which expects the original manifest name id-alloc.

This fix splits VerusTarget into two fields — name (for cargo -p) and crate_name (for rustc-level identifiers) — so that cargo dv verify, cargo dv doc, and cargo dv count all work correctly for packages with hyphens in their names.

@Marsman1996
Marsman1996 merged commit a8834cb into asterinas:main Sep 4, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant