1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "hardware_divider",
7    srcs = select({
8        "//bazel/constraint:rp2040": ["divider.S"],
9        "//conditions:default": ["divider.c"],
10    }),
11    hdrs = [
12        "include/hardware/divider.h",
13        "include/hardware/divider_helper.S",
14    ],
15    includes = ["include"],
16    target_compatible_with = compatible_with_rp2(),
17    deps = [
18        "//src/rp2_common:hardware_regs",
19        "//src/rp2_common:hardware_structs",
20        "//src/rp2_common:pico_platform",
21    ],
22)
23