mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-12-10 07:14:36 +01:00
26 lines
825 B
Text
26 lines
825 B
Text
load("//bazel:defs.bzl", "compatible_with_rp2")
|
|
load("//bazel/util:transition.bzl", "extra_copts_for_all_deps")
|
|
|
|
package(default_visibility = ["//visibility:public"])
|
|
|
|
cc_binary(
|
|
name = "pico_time_test_actual",
|
|
testonly = True,
|
|
srcs = ["pico_time_test.c"],
|
|
tags = ["manual"], # Built via pico_time_test.
|
|
# Doesn't appear to work on host builds yet.
|
|
target_compatible_with = compatible_with_rp2(),
|
|
deps = [
|
|
"//src/rp2_common/pico_stdlib",
|
|
"//test/pico_test",
|
|
],
|
|
)
|
|
|
|
extra_copts_for_all_deps(
|
|
name = "pico_time_test",
|
|
testonly = True,
|
|
src = ":pico_time_test_actual",
|
|
extra_copts = ["-DPICO_TIME_DEFAULT_ALARM_POOL_MAX_TIMERS=250"],
|
|
# Host doesn't support PICO_TIME_NO_ALARM_SUPPORT without pico_host_sdl.
|
|
target_compatible_with = compatible_with_rp2(),
|
|
)
|