| package(default_visibility = ["//visibility:public"]) |
| |
| cc_library( |
| name = "hardware_sync_headers", |
| srcs = ["sync_core0_only.c"], |
| hdrs = ["include/hardware/sync.h"], |
| implementation_deps = ["//src/host/pico_platform:platform_defs"], |
| includes = ["include"], |
| target_compatible_with = ["//bazel/constraint:host"], |
| deps = ["//src/common/pico_base_headers"], |
| ) |
| |
| cc_library( |
| name = "hardware_sync", |
| srcs = ["sync_core0_only.c"], |
| hdrs = ["include/hardware/sync.h"], |
| implementation_deps = ["//src/host/pico_platform:platform_defs"], |
| includes = ["include"], |
| target_compatible_with = ["//bazel/constraint:host"], |
| deps = ["//src/host/pico_platform"], |
| ) |
