1package(default_visibility = ["//visibility:public"])
2
3cc_library(
4    name = "platform_defs",
5    hdrs = [
6        "include/hardware/platform_defs.h",
7    ],
8    includes = ["include"],
9    target_compatible_with = ["//bazel/constraint:host"],
10)
11
12# Resolves circular dependencies.
13cc_library(
14    name = "pico_platform_internal",
15    hdrs = [
16        "include/pico/platform.h",
17    ],
18    includes = ["include"],
19    visibility = ["//src:__pkg__"],
20    deps = [
21        ":platform_defs",
22    ],
23)
24
25cc_library(
26    name = "pico_platform",
27    srcs = ["platform_base.c"],
28    target_compatible_with = ["//bazel/constraint:host"],
29    deps = [
30        ":pico_platform_internal",
31        ":platform_defs",
32        "//src/common/pico_base_headers",
33        "//src/host/hardware_timer:hardware_timer_headers",
34    ],
35)
36