pw_chrono_zephyr/BUILD.bazel

# Copyright 2025 The Pigweed Authors
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
#     https://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
# License for the specific language governing permissions and limitations under
# the License.

load("//:cc.bzl", "zephyr_cc_library")

package(default_visibility = ["//visibility:public"])

licenses(["notice"])

cc_library(
    name = "system_clock",
    target_compatible_with = [
        "@pigweed//pw_build/constraints/rtos:zephyr",
    ],
    deps = [
        ":config_override",
        ":public_includes",
        ":public_overrides_includes",
        "@pigweed//pw_chrono:epoch",
        "@pigweed//pw_chrono:system_clock.facade",
        "@pigweed//pw_interrupt:context",
        "@pigweed//pw_polyfill",
        "@pigweed//pw_sync:interrupt_spin_lock",
    ],
)

label_flag(
    name = "config_override",
    build_setting_default = "@pigweed//pw_build:default_module_config",
)

cc_library(
    name = "system_timer",
    srcs = [
        "@pigweed//pw_chrono_zephyr:system_timer.cc",
    ],
    implementation_deps = ["@pigweed//pw_assert:check"],
    deps = [
        ":public_includes",
        ":public_overrides_includes",
        "@pigweed//pw_chrono:system_clock",
        "@pigweed//pw_chrono:system_timer.facade",
        "@pigweed//pw_function",
    ],
)

cc_library(
    name = "public_includes",
    hdrs = [
        "@pigweed//pw_chrono_zephyr:public/pw_chrono_zephyr/system_clock_config.h",
        "@pigweed//pw_chrono_zephyr:public/pw_chrono_zephyr/system_clock_constants.h",
        "@pigweed//pw_chrono_zephyr:public/pw_chrono_zephyr/system_clock_inline.h",
        "@pigweed//pw_chrono_zephyr:public/pw_chrono_zephyr/system_timer_inline.h",
        "@pigweed//pw_chrono_zephyr:public/pw_chrono_zephyr/system_timer_native.h",
    ],
    strip_include_prefix = "public",
)

cc_library(
    name = "public_overrides_includes",
    hdrs = [
        "@pigweed//pw_chrono_zephyr:public_overrides/pw_chrono_backend/system_clock_config.h",
        "@pigweed//pw_chrono_zephyr:public_overrides/pw_chrono_backend/system_clock_inline.h",
        "@pigweed//pw_chrono_zephyr:public_overrides/pw_chrono_backend/system_timer_inline.h",
        "@pigweed//pw_chrono_zephyr:public_overrides/pw_chrono_backend/system_timer_native.h",
    ],
    strip_include_prefix = "public_overrides",
)