ref: ad3770fa5f1372e5908805f6024ef3c4541d13ed
dir: /scripts/get_waf.sh/
#! /bin/bash set -e set -x WAFVERSION=2.0.11 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 NOCLIMB=1 python waf-light --tools=c_emscripten $* popd popd cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD chmod +x waf } buildwaf cleanup