ray/thirdparty/scripts/build_redis.sh

#!/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="5.0.3"
  # 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