source: scripts/get_waf.sh @ 54966f5

feature/autosinkfeature/constantqfeature/pitchshiftfeature/timestretch
Last change on this file since 54966f5 was 54966f5, checked in by Paul Brossier <piem@piem.org>, 12 months ago

[waf] bummp to 2.0.13

  • Property mode set to 100755
File size: 996 bytes
Line 
1#! /bin/bash
2
3set -e
4#set -x
5
6WAFVERSION=2.0.13
7WAFTARBALL=waf-$WAFVERSION.tar.bz2
8WAFURL=https://waf.io/$WAFTARBALL
9WAFUPSTREAMKEY=https://gitlab.com/ita1024/waf/raw/master/utils/pubkey.asc
10
11WAFBUILDDIR=`mktemp -d`
12
13function cleanup () {
14  rm -rf $WAFBUILDDIR
15}
16
17trap cleanup SIGINT SIGTERM
18
19function download () {
20  ( [[ -n `which wget` ]] && wget -qO $1 $2 ) || ( [[ -n `which curl` ]] && curl -so $1 $2 )
21}
22
23function checkwaf () {
24  download $WAFTARBALL.asc $WAFURL.asc
25  if [[ -z `which gpg` ]]
26  then
27    echo "Warning: gpg not found, not verifying signature for $WAFTARBALL"
28  else
29    download - $WAFUPSTREAMKEY | gpg --import
30    gpg --verify $WAFTARBALL.asc || exit 1
31  fi
32}
33
34function fetchwaf () {
35  download $WAFTARBALL $WAFURL
36  checkwaf
37}
38
39function buildwaf () {
40  tar xf $WAFTARBALL
41  pushd waf-$WAFVERSION
42  NOCLIMB=1 python waf-light --tools=c_emscripten $*
43  popd
44}
45
46pushd $WAFBUILDDIR
47fetchwaf
48buildwaf
49popd
50
51cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD
52chmod +x waf
53
54cleanup
Note: See TracBrowser for help on using the repository browser.