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",
        "//src/rp2_common/pico_aon_timer",
        "//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(),
)
