source: scripts/get_waf.sh @ 6f3dfc0

feature/autosinkfeature/constantqfeature/pitchshiftfeature/pydocstringsfeature/timestretch
Last change on this file since 6f3dfc0 was 6f3dfc0, checked in by Paul Brossier <piem@piem.org>, 15 months ago

scripts/get_waf.sh: bump to 2.0.11

  • Property mode set to 100755
File size: 584 bytes
Line 
1#! /bin/bash
2
3set -e
4set -x
5
6WAFVERSION=2.0.11
7WAFTARBALL=waf-$WAFVERSION.tar.bz2
8WAFURL=https://waf.io/$WAFTARBALL
9
10WAFBUILDDIR=`mktemp -d`
11
12function cleanup () {
13  rm -rf $WAFBUILDDIR
14}
15
16trap cleanup SIGINT SIGTERM
17
18function 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 $*
26
27  popd
28  popd
29
30  cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD
31
32  chmod +x waf
33}
34
35buildwaf
36
37cleanup
Note: See TracBrowser for help on using the repository browser.