1 files changed, 6 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 5ba82f3127..5a3c4de0af 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -77,6 +77,12 @@ local_repository(
     path = "third_party/gflags",
 )
 
+git_repository(
+    name   = "mongoose_repo",
+    commit = "4120a97945b41195a6223a600dae8e3b19bed19e",
+    remote = "https://github.com/makdharma/mongoose.git"
+)
+
 new_local_repository(
     name = "submodule_benchmark",
     path = "third_party/benchmark",