1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "pico_rand",
7    srcs = ["rand.c"],
8    hdrs = ["include/pico/rand.h"],
9    includes = ["include"],
10    target_compatible_with = compatible_with_rp2(),
11    deps = [
12        "//src/common/pico_time",
13        "//src/rp2_common:hardware_structs",
14        "//src/rp2_common:pico_platform",
15        "//src/rp2_common/hardware_clocks",
16        "//src/rp2_common/hardware_sync",
17        "//src/rp2_common/pico_unique_id",
18    ],
19)
20