contrib: check if the user has cargo-public-api

This commit is contained in:
Jose Storopoli 2024-12-13 17:24:17 -03:00
parent 7e8d4615db
commit 04852958b9
No known key found for this signature in database
1 changed files with 8 additions and 0 deletions

View File

@ -22,6 +22,7 @@ export LC_ALL=C
main() {
need_nightly
need_cargo_public_api
generate_api_files "hashes"
generate_api_files "io"
@ -81,6 +82,13 @@ need_nightly() {
fi
}
need_cargo_public_api() {
if command -v cargo-public-api > /dev/null; then
return
fi
err "cargo-public-api is not installed; please run 'cargo +nightly install cargo-public-api --locked'"
}
err() {
echo "$1" >&2
exit 1