| 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"], | |
| ) |