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 NOCLIMB=1 python waf-light --tools=c_emscripten $*
30 cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD