# Copyright 2026 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("@rules_cc//cc:defs.bzl", "cc_library")

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

filegroup(
    name = "dt_bindings",
    srcs = glob(["nrfx/hal/**/*"]),
)

cc_library(
    name = "dt_interface",
    hdrs = glob(["nrfx/**/*.h"]),
    defines = select({
        "@zephyr_kconfig//:CONFIG_SOC_COMPATIBLE_NRF52833=true": ["NRF52833_XXAA"],
        "//conditions:default": [],
    }),
    includes = [
        "nrfx",
        "nrfx/drivers/include",
        "nrfx/hal",
        "nrfx/bsp/stable",
        "nrfx/bsp/stable/mdk",
        "nrfx/bsp/stable/templates",
    ],
)

filegroup(
    name = "nrfx_driver_srcs",
    srcs = [
        "nrfx/drivers/src/nrfx_clock.c",
        "nrfx/drivers/src/nrfx_clock_hfclk.c",
        "nrfx/drivers/src/nrfx_clock_lfclk.c",
        "nrfx/drivers/src/nrfx_gpiote.c",
        "nrfx/helpers/nrfx_flag32_allocator.c",
        "nrfx/helpers/nrfx_gppi_dppi.c",
        "nrfx/helpers/nrfx_gppi_ppi.c",
        "nrfx/bsp/stable/mdk/system_nrf52.c",
    ],
)