blob: af37e2f46f3ebd533e48030b1e705f8a8ba50338 [file] [log] [blame] [edit]
package(default_visibility = ["//visibility:public"])
_DEFINES = [
"PICO_HARDWARE_TIMER_RESOLUTION_US=1000",
# TODO: This seems to be the default, make configurable eventually.
"PICO_TIME_DEFAULT_ALARM_POOL_DISABLED=1",
]
# This exists to break a dependency cycle between
# this library and //src/common/pico_time.
# Application code should always use :hardware_timer instead.
cc_library(
name = "hardware_timer_headers",
hdrs = ["include/hardware/timer.h"],
defines = _DEFINES,
includes = ["include"],
target_compatible_with = ["//bazel/constraint:host"],
visibility = ["//src/common/pico_time:__pkg__"],
deps = ["//src/common/pico_base:pico_base_interface"],
)
cc_library(
name = "hardware_timer",
srcs = ["timer.c"],
hdrs = ["include/hardware/timer.h"],
defines = _DEFINES,
includes = ["include"],
target_compatible_with = ["//bazel/constraint:host"],
deps = ["//src/common/pico_base"],
)