feature/autosinkfeature/cnnfeature/cnn_orgfeature/constantqfeature/crepefeature/crepe_orgfeature/pitchshiftfeature/pydocstringsfeature/timestretchfix/ffmpeg5
|
Last change
on this file since 87e181d was
6f3dfc0,
checked in by Paul Brossier <piem@piem.org>, 6 years ago
|
|
scripts/get_waf.sh: bump to 2.0.11
|
-
Property mode set to
100755
|
|
File size:
584 bytes
|
| Line | |
|---|
| 1 | #! /bin/bash |
|---|
| 2 | |
|---|
| 3 | set -e |
|---|
| 4 | set -x |
|---|
| 5 | |
|---|
| 6 | WAFVERSION=2.0.11 |
|---|
| 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 $* |
|---|
| 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 |
|---|
Note: See
TracBrowser
for help on using the repository browser.
