2018-03-01 14:29:56 -08:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -x
|
|
|
|
|
|
|
|
|
|
# Cause the script to exit if a single command fails.
|
|
|
|
|
set -e
|
|
|
|
|
|
2018-07-21 00:12:25 +02:00
|
|
|
ROOT_DIR=$(cd "$(dirname "${BASH_SOURCE:-$0}")"; pwd)
|
2018-03-01 14:29:56 -08:00
|
|
|
|
|
|
|
|
if [[ -z "$1" ]]; then
|
|
|
|
|
PYTHON_EXECUTABLE=`which python`
|
|
|
|
|
else
|
|
|
|
|
PYTHON_EXECUTABLE=$1
|
|
|
|
|
fi
|
|
|
|
|
echo "Using Python executable $PYTHON_EXECUTABLE."
|
|
|
|
|
|
2018-08-15 02:33:51 +08:00
|
|
|
RAY_BUILD_PYTHON=$RAY_BUILD_PYTHON \
|
|
|
|
|
RAY_BUILD_JAVA=$RAY_BUILD_JAVA \
|
|
|
|
|
$ROOT_DIR/thirdparty/scripts/setup.sh $PYTHON_EXECUTABLE
|
2018-05-27 05:38:50 +08:00
|
|
|
|
