2016-11-25 21:20:17 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
#
|
|
|
|
# Configure, build and install ninja
|
|
|
|
#
|
|
|
|
# Usage:
|
|
|
|
#
|
|
|
|
# install-ninja.sh [-python /path/to/bin/python]
|
|
|
|
|
|
|
|
set -e
|
|
|
|
set -o pipefail
|
|
|
|
|
|
|
|
PYTHON=python
|
|
|
|
while [ $# -gt 0 ]; do
|
|
|
|
case "$1" in
|
|
|
|
-python)
|
|
|
|
PYTHON=$2
|
|
|
|
shift
|
|
|
|
;;
|
|
|
|
*)
|
|
|
|
echo "Usage: Usage: ${0##*/} [-python /path/to/bin/python]"
|
|
|
|
exit 1
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
shift
|
|
|
|
done
|
|
|
|
|
|
|
|
# Download
|
|
|
|
REV=v1.7.1
|
2016-11-27 01:59:07 +01:00
|
|
|
wget --progress=bar:force https://github.com/ninja-build/ninja/archive/$REV.tar.gz -O ninja.tar.gz
|
2016-11-25 21:20:17 +01:00
|
|
|
mkdir ninja
|
|
|
|
tar -xzvf ./ninja.tar.gz --strip-components=1 -C ./ninja
|
|
|
|
|
|
|
|
# Configure, build and install
|
|
|
|
pushd ./ninja
|
|
|
|
echo "Configuring ninja using [$PYTHON]"
|
|
|
|
$PYTHON ./configure.py --bootstrap && ./ninja
|
|
|
|
cp ./ninja /usr/bin/
|
|
|
|
popd
|
|
|
|
|
|
|
|
# Clean
|
|
|
|
rm -rf ./ninja*
|
|
|
|
|