1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5# Break a circular dependency with hardware_watchdog.
6cc_library(
7    name = "hardware_ticks_headers",
8    hdrs = ["include/hardware/ticks.h"],
9    includes = ["include"],
10    target_compatible_with = compatible_with_rp2(),
11    visibility = ["//src/rp2_common/hardware_watchdog:__pkg__"],
12)
13
14cc_library(
15    name = "hardware_ticks",
16    srcs = ["ticks.c"],
17    hdrs = ["include/hardware/ticks.h"],
18    includes = ["include"],
19    target_compatible_with = compatible_with_rp2(),
20    deps = [
21        "//src/common/pico_base_headers",
22        "//src/rp2_common:hardware_structs",
23        "//src/rp2_common/hardware_watchdog",
24    ],
25)
26