diff options
| author | Ellie Hermaszewska <ellieh@nvidia.com> | 2025-07-17 11:37:10 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-17 11:37:10 +0800 |
| commit | 3e42d1bf2e186341a6cfee21760db7975d09d263 (patch) | |
| tree | 26ca0060bd145b69fa5324b15031160357d8db2d /extras/formatting.sh | |
| parent | 1f3d53753ee96f4ad1e4fad080998d0fefe8f94e (diff) | |
bump and pin cmake formatter version (#7800)
* print tool versions for formatter
* formatting
* bump cmake formatter version
Diffstat (limited to 'extras/formatting.sh')
| -rwxr-xr-x | extras/formatting.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/extras/formatting.sh b/extras/formatting.sh index 94df651eb..e5a73762a 100755 --- a/extras/formatting.sh +++ b/extras/formatting.sh @@ -97,6 +97,13 @@ require_bin() { if [ "$no_version_check" -eq 0 ]; then version=$("$name" --version | grep -oP "\d+\.\d+\.?\d*" | head -n1) + # Debug output to stderr + if [ -n "$max_version" ]; then + echo "found $name $version, required [$min_version, $max_version)" >&2 + else + echo "found $name $version, required at least $min_version" >&2 + fi + if ! printf '%s\n%s\n' "$min_version" "$version" | sort -V -C; then echo "$name version $version is too old. Version $min_version or newer is required." >&2 missing_bin=1 @@ -114,7 +121,7 @@ require_bin() { } require_bin "git" "1.8" -((run_all || run_cmake)) && require_bin "gersemi" "0.17" +((run_all || run_cmake)) && require_bin "gersemi" "0.21" "0.22" ((run_all || run_cpp)) && require_bin "xargs" "3" require_bin "diff" "2" ((run_all || run_cpp)) && require_bin "clang-format" "17" "18" |