| Brian Silverman | a8ae8e9 | 2018-07-07 15:33:10 -0700 | [diff] [blame] | 1 | licenses(["notice"]) |
| 2 | |||||
| 3 | # The source file was downloaded from: | ||||
| 4 | # https://github.com/catchorg/Catch2/releases/download/v2.2.3/catch.hpp | ||||
| 5 | |||||
| 6 | cc_library( | ||||
| 7 | name = "Catch2", | ||||
| 8 | hdrs = ["catch/catch.hpp"], | ||||
| 9 | includes = ["."], | ||||
| Philipp Schrader | dada107 | 2020-11-24 11:34:46 -0800 | [diff] [blame] | 10 | target_compatible_with = ["@platforms//os:linux"], |
| Brian Silverman | a8ae8e9 | 2018-07-07 15:33:10 -0700 | [diff] [blame] | 11 | visibility = ["//visibility:public"], |
| 12 | ) | ||||