mirror of
https://github.com/wassname/ray.git
synced 2026-08-06 13:31:10 +08:00
mehrdadnandGitHub
79c4c67ed9
* Split hiredis from Redis and use it directly Co-authored-by: Mehrdad <noreply@github.com>
46 lines
930 B
Plaintext
46 lines
930 B
Plaintext
filegroup(
|
|
name = "files",
|
|
srcs = glob(["**"]),
|
|
visibility = ["//visibility:public"],
|
|
)
|
|
|
|
filegroup(
|
|
name = "file",
|
|
srcs = ["Makefile"],
|
|
visibility = ["//visibility:public"],
|
|
)
|
|
|
|
# This library is for internal hiredis use, because hiredis assumes a
|
|
# different include prefix for itself than external libraries do.
|
|
cc_library(
|
|
name = "_hiredis",
|
|
hdrs = [
|
|
"deps/hiredis/dict.c",
|
|
],
|
|
strip_include_prefix = "deps/hiredis",
|
|
)
|
|
|
|
cc_library(
|
|
name = "hiredis",
|
|
srcs = glob(
|
|
[
|
|
"deps/hiredis/*.c",
|
|
"deps/hiredis/*.h",
|
|
],
|
|
exclude =
|
|
[
|
|
"deps/hiredis/test.c",
|
|
],
|
|
),
|
|
hdrs = glob([
|
|
"deps/hiredis/*.h",
|
|
"deps/hiredis/adapters/*.h",
|
|
]),
|
|
includes = ["deps/hiredis"],
|
|
strip_include_prefix = "deps",
|
|
deps = [
|
|
":_hiredis",
|
|
],
|
|
visibility = ["//visibility:public"],
|
|
)
|