scripts/get_waf.sh

   1 #! /bin/bash
   2
   3 set -e
   4 set -x
   5
   6 WAFVERSION=2.0.1
   7 WAFTARBALL=waf-$WAFVERSION.tar.bz2
   8 WAFURL=https://waf.io/$WAFTARBALL
   9
  10 WAFBUILDDIR=`mktemp -d`
  11
  12 function cleanup () {
  13   rm -rf $WAFBUILDDIR
  14 }
  15
  16 trap cleanup SIGINT SIGTERM
  17
  18 function buildwaf () {
  19   pushd $WAFBUILDDIR
  20
  21   ( which wget > /dev/null && wget -qO $WAFTARBALL $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > $WAFTARBALL )
  22
  23   tar xf $WAFTARBALL
  24   pushd waf-$WAFVERSION
  25   NOCLIMB=1 python waf-light --tools=c_emscripten,syms $*
  26
  27   popd
  28   popd
  29
  30   cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD
  31
  32   chmod +x waf
  33 }
  34
  35 buildwaf
  36
  37 cleanup