third_party/Catch2/BUILD

licenses(["notice"])

# The source file was downloaded from:
# https://github.com/catchorg/Catch2/releases/download/v2.2.3/catch.hpp

cc_library(
    name = "Catch2",
    hdrs = ["catch/catch.hpp"],
    includes = ["."],
    visibility = ["//visibility:public"],
)