| 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 = ["."], | ||||
| 10 | visibility = ["//visibility:public"], | ||||
| 11 | ) | ||||