diff options
Diffstat (limited to 'WORKSPACE')
| -rw-r--r-- | WORKSPACE | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE new file mode 100644 index 0000000..b03116f --- /dev/null +++ b/WORKSPACE @@ -0,0 +1,15 @@ + +workspace(name = "upb") + +load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive") + +http_archive( + name = "lua", + build_file = "//:lua.BUILD", + sha256 = "b9e2e4aad6789b3b63a056d442f7b39f0ecfca3ae0f1fc0ae4e9614401b69f4b", + strip_prefix = "lua-5.2.4", + urls = [ + "https://mirror.bazel.build/www.lua.org/ftp/lua-5.2.4.tar.gz", + "https://www.lua.org/ftp/lua-5.2.4.tar.gz", + ], +) |