aboutsummaryrefslogtreecommitdiff
path: root/WORKSPACE
diff options
context:
space:
mode:
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE5
1 files changed, 5 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 5438ad3..7f2612b 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -35,3 +35,8 @@ new_local_repository(
path = "/usr/include/python3.6", # May be overwritten by setup.py.
)
+http_archive(
+ name = "platforms",
+ strip_prefix = "platforms-master",
+ urls = ["https://github.com/bazelbuild/platforms/archive/master.zip"],
+)