1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5# This exists to break a dependency cycle between
6# this library and //src/rp2_common/pico_printf.
7# Application code should always use :pico_platform_panic instead.
8cc_library(
9    name = "pico_platform_panic_headers",
10    hdrs = ["include/pico/platform/panic.h"],
11    includes = ["include"],
12    target_compatible_with = compatible_with_rp2(),
13    visibility = [
14        "//src/rp2040/pico_platform:__pkg__",
15        "//src/rp2350/pico_platform:__pkg__",
16    ],
17    deps = ["//src/rp2_common/pico_clib_interface"],
18)
19
20cc_library(
21    name = "pico_platform_panic",
22    srcs = ["panic.c"],
23    hdrs = ["include/pico/platform/panic.h"],
24    includes = ["include"],
25    target_compatible_with = compatible_with_rp2(),
26    deps = [
27        "//src/rp2_common/pico_printf",
28    ],
29    alwayslink = True,
30)
31