7 WAFTARBALL=waf-$WAFVERSION.tar.bz2
8 WAFURL=https://waf.io/$WAFTARBALL
10 WAFBUILDDIR=`mktemp -d`
16 trap cleanup SIGINT SIGTERM
18 function buildwaf () {
21 ( which wget > /dev/null && wget -qO $WAFTARBALL $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > $WAFTARBALL )
25 [ -x $PYTHON ] || PYTHON=`which python`
26 NOCLIMB=1 python waf-light --tools=c_emscripten,syms $*
31 cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD