diff options
Diffstat (limited to '')
-rw-r--r-- | 3rd_party/BUILD | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/3rd_party/BUILD b/3rd_party/BUILD new file mode 100644 index 0000000..6e46e7e --- /dev/null +++ b/3rd_party/BUILD @@ -0,0 +1,20 @@ +cc_library( + name = "expected", + hdrs = ["include/opentracing/expected/expected.hpp"], + strip_include_prefix = "include", + visibility = ["//visibility:public"], +) + +cc_library( + name = "variant", + hdrs = glob(["include/opentracing/variant/*.hpp"]), + strip_include_prefix = "include", + visibility = ["//visibility:public"], +) + +cc_library( + name = "catch2", + hdrs = ["include/opentracing/catch2/catch.hpp"], + strip_include_prefix = "include", + visibility = ["//visibility:public"], +) |