1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "pico_int64_ops",
7    srcs = ["pico_int64_ops_aeabi.S"],
8    hdrs = ["include/pico/int64_ops.h"],
9    includes = ["include"],
10    linkopts = ["-Wl,--wrap=__aeabi_lmul"],
11    target_compatible_with = compatible_with_rp2(),
12    deps = [
13        "//src/rp2_common:pico_platform",
14    ],
15    alwayslink = True,  # Ensures the wrapped symbols are linked in.
16)
17