From c2ac55f46c23ad5638b54d700e2f5b6920a90c01 Mon Sep 17 00:00:00 2001 From: William Vinnicombe Date: Wed, 11 Feb 2026 10:30:21 +0000 Subject: [PATCH 1/2] Fix bazel build --- BUILD.bazel | 1 + bazel/BUILD.bazel | 1 + bazel/mbedtls.BUILD | 1 + bintool/BUILD.bazel | 1 + elf/BUILD.bazel | 1 + elf2uf2/BUILD.bazel | 1 + enc_bootloader/BUILD.bazel | 1 + errors/BUILD.bazel | 1 + lib/BUILD.bazel | 1 + lib/nlohmann_json/BUILD.bazel | 1 + lib/whereami/BUILD.bazel | 1 + model/BUILD.bazel | 1 + otp_header_parser/BUILD.bazel | 1 + picoboot_connection/BUILD.bazel | 1 + picoboot_flash_id/BUILD.bazel | 1 + xip_ram_perms/BUILD.bazel | 1 + 16 files changed, 16 insertions(+) diff --git a/BUILD.bazel b/BUILD.bazel index b0c729ed..57207689 100644 --- a/BUILD.bazel +++ b/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") load("//bazel:defs.bzl", "otp_header_parse", "picotool_binary_data_header") package(default_visibility = ["//visibility:public"]) diff --git a/bazel/BUILD.bazel b/bazel/BUILD.bazel index 9504a733..7c502782 100644 --- a/bazel/BUILD.bazel +++ b/bazel/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") load("@rules_python//python:defs.bzl", "py_binary") package(default_visibility = ["//:__subpackages__"]) diff --git a/bazel/mbedtls.BUILD b/bazel/mbedtls.BUILD index 1c9fa43c..c1cad9db 100644 --- a/bazel/mbedtls.BUILD +++ b/bazel/mbedtls.BUILD @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/bintool/BUILD.bazel b/bintool/BUILD.bazel index a9f49619..ceb21219 100644 --- a/bintool/BUILD.bazel +++ b/bintool/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/elf/BUILD.bazel b/elf/BUILD.bazel index 0fd1aef0..1bed09ac 100644 --- a/elf/BUILD.bazel +++ b/elf/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/elf2uf2/BUILD.bazel b/elf2uf2/BUILD.bazel index ef3288cf..021dc9a5 100644 --- a/elf2uf2/BUILD.bazel +++ b/elf2uf2/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/enc_bootloader/BUILD.bazel b/enc_bootloader/BUILD.bazel index ba986770..0e1a5e24 100644 --- a/enc_bootloader/BUILD.bazel +++ b/enc_bootloader/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) filegroup( diff --git a/errors/BUILD.bazel b/errors/BUILD.bazel index c27e4477..873dc7a3 100644 --- a/errors/BUILD.bazel +++ b/errors/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/lib/BUILD.bazel b/lib/BUILD.bazel index 0d9fcde1..9a62ed52 100644 --- a/lib/BUILD.bazel +++ b/lib/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") cc_library( name = "mbedtls_config", hdrs = ["include/mbedtls_config.h", "include/picotool_mbedtls_config.h"], diff --git a/lib/nlohmann_json/BUILD.bazel b/lib/nlohmann_json/BUILD.bazel index 1060277d..0cd577a1 100644 --- a/lib/nlohmann_json/BUILD.bazel +++ b/lib/nlohmann_json/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/lib/whereami/BUILD.bazel b/lib/whereami/BUILD.bazel index 64ed232f..a3e0fcc5 100644 --- a/lib/whereami/BUILD.bazel +++ b/lib/whereami/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/model/BUILD.bazel b/model/BUILD.bazel index 7b86451b..7d14ff09 100644 --- a/model/BUILD.bazel +++ b/model/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/otp_header_parser/BUILD.bazel b/otp_header_parser/BUILD.bazel index fdf04f10..388d3a75 100644 --- a/otp_header_parser/BUILD.bazel +++ b/otp_header_parser/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/picoboot_connection/BUILD.bazel b/picoboot_connection/BUILD.bazel index f86b39d9..3578afe2 100644 --- a/picoboot_connection/BUILD.bazel +++ b/picoboot_connection/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) cc_library( diff --git a/picoboot_flash_id/BUILD.bazel b/picoboot_flash_id/BUILD.bazel index ace33ad1..13c67a64 100644 --- a/picoboot_flash_id/BUILD.bazel +++ b/picoboot_flash_id/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) filegroup( diff --git a/xip_ram_perms/BUILD.bazel b/xip_ram_perms/BUILD.bazel index 8daeca07..c5d433c3 100644 --- a/xip_ram_perms/BUILD.bazel +++ b/xip_ram_perms/BUILD.bazel @@ -1,3 +1,4 @@ +load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library") package(default_visibility = ["//visibility:public"]) filegroup( From d2c3c8b4bd0d1bfee2ffc15abf57086ca3af748a Mon Sep 17 00:00:00 2001 From: William Vinnicombe Date: Wed, 11 Feb 2026 10:47:24 +0000 Subject: [PATCH 2/2] TMP: Use will-v-pi/pico-sdk:bazel-fix --- .github/workflows/bazel_build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/bazel_build.yml b/.github/workflows/bazel_build.yml index 2e775c75..f3dd58e2 100644 --- a/.github/workflows/bazel_build.yml +++ b/.github/workflows/bazel_build.yml @@ -28,8 +28,8 @@ jobs: - name: Fetch latest Pico SDK uses: actions/checkout@v4 with: - repository: raspberrypi/pico-sdk - ref: develop + repository: will-v-pi/pico-sdk + ref: bazel-fix fetch-depth: 0 path: lib/pico-sdk - name: Bazel Picotool with develop pico-sdk