mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-12-10 07:14:36 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update Bazel pin, ignore build-* directories (#2461)

Browse source 
Updates the Bazel pin to 8.1.0 so that build-* directories can be
properly ignored.
This commit is contained in:
armandomontanez 2025-05-29 06:25:46 -07:00 • committed by GitHub
parent 0722de395c
commit 67f89e44aa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 15 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.bazelignore
View file

@ -1,4 +0,0 @@
# Don't accidentally pick up external CMake deps with Bazel build files.
build
# Don't treat submodules as part of this project.
lib

4
.bazelrc
View file

@ -4,3 +4,7 @@ common --host_per_file_copt=external/.*@-w
# Produce useful output when the build fails. # Produce useful output when the build fails.
common --verbose_failures common --verbose_failures
# Silence warnings about old bazel_dep pins. Bazel 8 brings along newer ones,
# but we can support Bazel 7 (for now).
common --check_direct_dependencies=off

2
.bazelversion
View file

@ -1 +1 @@
7.2.1 8.1.0

10
REPO.bazel Normal file
View file

@ -0,0 +1,10 @@
ignore_directories(
[
# Don't accidentally pick up external CMake deps with Bazel build files.
"cmake-*",
"build",
"build-*",
# Don't treat submodules as part of this project.
"lib",
],
)