commit a8ae8e9cd379b90d52d08d8e410964a31620d8ef
author Brian Silverman <bsilver16384@gmail.com> Sat Jul 07 15:33:10 2018 -0700
committer Brian Silverman <bsilver16384@gmail.com> Fri Aug 31 10:29:28 2018 -0700
tree 7f75986f22f71a3311b891413885d6090c7314d7
parent ff98e65095f33c0f9554a548abafba7e9a32b0b7

Add build rules for the GSL

This provides many helpful things, such as span.

Change-Id: I4d2a88b0a7cb93fe36a98f21f4a6874e335e063e

third_party/Catch2/BUILD

diff --git a/third_party/Catch2/BUILD b/third_party/Catch2/BUILD
new file mode 100644
index 0000000..5dab07c
--- /dev/null
+++ b/third_party/Catch2/BUILD
@@ -0,0 +1,11 @@
+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 = ["."],
+    visibility = ["//visibility:public"],
+)