7 WAFTARBALL=waf-$WAFVERSION.tar.bz2
8 WAFURL=https://waf.io/$WAFTARBALL
9 WAFUPSTREAMKEY=https://gitlab.com/ita1024/waf/raw/master/utils/pubkey.asc
11 WAFBUILDDIR=`mktemp -d`
17 trap cleanup SIGINT SIGTERM
19 function download () {
20 ( [[ -n `which wget` ]] && wget -qO $1 $2 ) || ( [[ -n `which curl` ]] && curl -so $1 $2 )
23 function checkwaf () {
24 download $WAFTARBALL.asc $WAFURL.asc
25 if [[ -z `which gpg` ]]
27 echo "Warning: gpg not found, not verifying signature for $WAFTARBALL"
29 download - $WAFUPSTREAMKEY | gpg --import
30 gpg --verify $WAFTARBALL.asc || exit 1
34 function fetchwaf () {
35 download $WAFTARBALL $WAFURL
39 function buildwaf () {
42 NOCLIMB=1 python waf-light --tools=c_emscripten $*
51 cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD