mirror of
https://github.com/wassname/ray.git
synced 2026-08-01 12:51:09 +08:00
Robert NishiharaandPhilipp Moritz
ba1ce85f58
* Download Redis differently. * Get flatbuffers with curl
20 lines
555 B
Bash
Executable File
20 lines
555 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -x
|
|
|
|
# Cause the script to exit if a single command fails.
|
|
set -e
|
|
|
|
if [ ! -f redis/src/redis-server ]; then
|
|
redis_vname="4.0-rc2"
|
|
# This check is to make sure the tarball has been fully extracted. The only
|
|
# relevant bit about redis/utils/whatisdoing.sh is that it is one of the last
|
|
# files in the tarball.
|
|
if [ ! -f redis/utils/whatisdoing.sh ]; then
|
|
mkdir -p "./redis"
|
|
curl -sL "https://github.com/antirez/redis/archive/$redis_vname.tar.gz" | tar xz --strip-components=1 -C "./redis"
|
|
fi
|
|
cd redis
|
|
make
|
|
fi
|