2016-10-27 23:40:10 -07:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2016-12-28 16:54:14 -08:00
|
|
|
# Cause the script to exit if a single command fails.
|
|
|
|
set -e
|
|
|
|
|
2016-10-27 23:40:10 -07:00
|
|
|
ROOT_DIR=$(cd "$(dirname "${BASH_SOURCE:-$0}")"; pwd)
|
|
|
|
|
|
|
|
platform="unknown"
|
|
|
|
unamestr="$(uname)"
|
|
|
|
if [[ "$unamestr" == "Linux" ]]; then
|
|
|
|
echo "Platform is linux."
|
|
|
|
platform="linux"
|
|
|
|
elif [[ "$unamestr" == "Darwin" ]]; then
|
|
|
|
echo "Platform is macosx."
|
|
|
|
platform="macosx"
|
|
|
|
else
|
|
|
|
echo "Unrecognized platform."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2016-11-19 17:38:36 -08:00
|
|
|
pushd "$ROOT_DIR"
|
|
|
|
./thirdparty/download_thirdparty.sh
|
|
|
|
./thirdparty/build_thirdparty.sh
|
2016-10-27 23:40:10 -07:00
|
|
|
popd
|