ref: 92ab78ecacff1c70134f514ea389b9abb069b0f5
dir: /scripts/get_waf.sh/
#! /bin/bash set -e set -x WAFVERSION=2.0.1 WAFTARBALL=waf-$WAFVERSION.tar.bz2 WAFURL=https://waf.io/$WAFTARBALL WAFBUILDDIR=`mktemp -d` function cleanup () { rm -rf $WAFBUILDDIR } trap cleanup SIGINT SIGTERM function buildwaf () { pushd $WAFBUILDDIR ( which wget > /dev/null && wget -qO $WAFTARBALL $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > $WAFTARBALL ) tar xf $WAFTARBALL pushd waf-$WAFVERSION [ -x $PYTHON ] || PYTHON=`which python` NOCLIMB=1 python waf-light --tools=c_emscripten,syms $* popd popd cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD chmod +x waf } buildwaf cleanup