aboutsummaryrefslogtreecommitdiffhomepage
path: root/WORKSPACE
diff options
context:
space:
mode:
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE17
1 files changed, 17 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 9b79d04cde..da63c5fea8 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -29,6 +29,11 @@ bind(
)
bind(
+ name = "cares",
+ actual = "@submodule_cares//:ares",
+)
+
+bind(
name = "gtest",
actual = "@submodule_gtest//:gtest",
)
@@ -66,3 +71,15 @@ local_repository(
name = "com_github_gflags_gflags",
path = "third_party/gflags",
)
+
+git_repository(
+ name = "mongoose_repo",
+ commit = "4120a97945b41195a6223a600dae8e3b19bed19e",
+ remote = "https://github.com/makdharma/mongoose.git"
+)
+
+new_local_repository(
+ name = "submodule_cares",
+ path = "third_party/cares",
+ build_file = "third_party/cares/cares.BUILD",
+)