mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2024-09-29 04:58:50 +08:00
20 lines
542 B
Python
20 lines
542 B
Python
package(default_visibility = ["//visibility:public"])
|
|
|
|
cc_binary(
|
|
name = "pico_stdlib_test",
|
|
testonly = True,
|
|
srcs = ["pico_stdlib_test.c"],
|
|
deps = select({
|
|
"//bazel/constraint:host": [
|
|
"//src/host/pico_bit_ops",
|
|
"//src/host/pico_stdlib",
|
|
],
|
|
"//conditions:default": [
|
|
"//src/rp2_common/pico_bit_ops",
|
|
"//src/rp2_common/pico_stdlib",
|
|
],
|
|
}) + [
|
|
"//src/common/pico_time", # TODO: This header should be #include'ed from source.
|
|
],
|
|
)
|