diff options
| author | Josh Haberman <jhaberman@gmail.com> | 2018-11-02 12:49:15 -0700 |
|---|---|---|
| committer | Josh Haberman <jhaberman@gmail.com> | 2018-11-02 12:49:15 -0700 |
| commit | 01ed4ce3d4323c38cb3aeb91053a2a3adb4dfc94 (patch) | |
| tree | 472f506b0a51a31976d1ef1e2318622f79555712 /WORKSPACE | |
| parent | 9bb0814c48cb4d4df87ca64c9fabba5d15183cc1 (diff) | |
WIP.
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", + ], +) |