Add bazel tidying/linting exclusions for slang-elab

Assisted-by: Claude (various models)
Signed-off-by: Martin Povišer <povik@cutebit.org>

Author: povik

bazel/bzl_fmt_test.sh

@@ -11,8 +11,13 @@ TOOL="$(cd "$(dirname "$1")" && pwd)/$(basename "$1")"
 [ -L MODULE.bazel ] || { echo "MODULE.bazel missing from runfiles" >&2; exit 1; }
 WORKSPACE="$(dirname "$(readlink MODULE.bazel)")"
 cd "$WORKSPACE"
-# `git ls-files` skips submodule contents (src/sta, third-party/abc).
+# `-c submodule.recurse=false` keeps git ls-files from descending into
+# submodules (src/sta, third-party/abc, third-party/slang-elab and the
+# fmt sub-submodule nested in it) — we never want to reformat files
+# owned by another repo. The override is needed because CI sets
+# submodule.recurse=true globally.
 # Explicit -mode=check -lint=off separates format errors from lint warnings,
 # and overrides the repo-root .buildifier.json default (mode: fix).
-git ls-files '*.bazel' '*.bzl' '**/BUILD' 'BUILD' '**/WORKSPACE' 'WORKSPACE' -z \
+git -c submodule.recurse=false ls-files \
+        '*.bazel' '*.bzl' '**/BUILD' 'BUILD' '**/WORKSPACE' 'WORKSPACE' -z \
     | xargs -0 "$TOOL" -mode=check -lint=off

bazel/bzl_lint_test.sh

@@ -11,8 +11,12 @@ TOOL="$(cd "$(dirname "$1")" && pwd)/$(basename "$1")"
 [ -L MODULE.bazel ] || { echo "MODULE.bazel missing from runfiles" >&2; exit 1; }
 WORKSPACE="$(dirname "$(readlink MODULE.bazel)")"
 cd "$WORKSPACE"
-# `git ls-files` skips submodule contents (src/sta, third-party/abc), so
-# we never try to reformat files owned by another repo.
+# `-c submodule.recurse=false` keeps git ls-files from descending into
+# submodules (src/sta, third-party/abc, third-party/slang-elab and the
+# fmt sub-submodule nested in it) — we never want to reformat files
+# owned by another repo. The override is needed because CI sets
+# submodule.recurse=true globally.
 # Explicit -mode=check overrides the repo-root .buildifier.json default.
-git ls-files '*.bazel' '*.bzl' '**/BUILD' 'BUILD' '**/WORKSPACE' 'WORKSPACE' -z \
+git -c submodule.recurse=false ls-files \
+        '*.bazel' '*.bzl' '**/BUILD' 'BUILD' '**/WORKSPACE' 'WORKSPACE' -z \
     | xargs -0 "$TOOL" -mode=check -lint=warn

bazel/bzl_tidy.sh

@@ -6,7 +6,11 @@
 set -euo pipefail
 TOOL="$(cd "$(dirname "$1")" && pwd)/$(basename "$1")"
 cd "${BUILD_WORKSPACE_DIRECTORY:-$PWD}"
-# `git ls-files` skips submodule contents (src/sta, third-party/abc),
-# so we never rewrite files owned by another repo.
-git ls-files '*.bazel' '*.bzl' '**/BUILD' 'BUILD' '**/WORKSPACE' 'WORKSPACE' -z \
+# `-c submodule.recurse=false` keeps git ls-files from descending into
+# submodules (src/sta, third-party/abc, third-party/slang-elab and the
+# fmt sub-submodule nested in it) — we never want to rewrite files
+# owned by another repo. The override is needed because CI sets
+# submodule.recurse=true globally.
+git -c submodule.recurse=false ls-files \
+        '*.bazel' '*.bzl' '**/BUILD' 'BUILD' '**/WORKSPACE' 'WORKSPACE' -z \
     | xargs -0 "$TOOL" -mode=fix -lint=fix