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 = ["."], | |
target_compatible_with = ["@platforms//os:linux"], | |
visibility = ["//visibility:public"], | |
) |