wassname/ray
1
0
Fork 0
mirror of https://github.com/wassname/ray.git synced 2026-08-16 10:34:09 +08:00
Code Issues Packages Projects Releases Wiki Activity

Use Redis for Windows (#7364)

Browse Source
This commit is contained in:
mehrdadn
2020-02-28 10:18:56 -08:00
committed by GitHub
parent 3f8b1d2756
commit 0efaa9b310
3 changed files with 31 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bazel/ray_deps_setup.bzl
+13 -1
View File
@@ -1,5 +1,5 @@
load("@bazel_tools//tools/build_defs/repo:git.bzl", "git_repository", "new_git_repository")
load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive", "http_file")
def github_repository(*, name=None, remote=None, commit=None, tag=None,
branch=None, build_file=None, build_file_content=None,
@@ -87,6 +87,18 @@ def ray_deps_setup():
],
)
http_file(
name = "win-redis-bin",
sha256 = "6fac443543244c803311de5883b714a7ae3c4fa0594cad51d75b24c4ef45b353",
urls = ["https://github.com/tporadowski/redis/releases/download/v4.0.14.2/Redis-x64-4.0.14.2.zip"],
)
http_file(
name = "redis-src",
sha256 = "7084e8bd9e5dedf2dbb2a1e1d862d0c46e66cc0872654bdc677f4470d28d84c5",
urls = ["https://github.com/antirez/redis/archive/5.0.3.tar.gz"],
)
github_repository(
name = "rules_jvm_external",
tag = "2.10",