diff options
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -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", +) |