mirror of
https://github.com/vale981/ray
synced 2025-03-06 10:31:39 -05:00
f1e5789c26
* restructure how to organize 3rd party libs * Minor whitespace changes. * Fix compilation on Linux. * Pass around Python executable so that the correct version of Python is used.
22 lines
678 B
Bash
Executable file
22 lines
678 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -x
|
|
|
|
# Cause the script to exit if a single command fails.
|
|
set -e
|
|
|
|
TP_DIR=$(cd "$(dirname "${BASH_SOURCE:-$0}")"; pwd)/../
|
|
|
|
if [ ! -f $TP_DIR/pkg/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 $TP_DIR/pkg/redis/utils/whatisdoing.sh ]; then
|
|
mkdir -p "$TP_DIR/pkg/redis"
|
|
curl -sL "https://github.com/antirez/redis/archive/$redis_vname.tar.gz" | tar xz --strip-components=1 -C "$TP_DIR/pkg/redis"
|
|
fi
|
|
pushd $TP_DIR/pkg/redis
|
|
make
|
|
popd
|
|
fi
|