cc_binary(
    name = "hello",
    srcs = ["hello.cpp"],
    deps = [
        "@xsmm//:xsmm"
    ],
)
