source: scripts/get_waf.sh @ 63a7a43

feature/cnnfeature/crepefix/ffmpeg5
Last change on this file since 63a7a43 was 63a7a43, checked in by GitHub <noreply@github.com>, 5 years ago

get_waf.sh: Allow spaces in the pwd path

  • Property mode set to 100755
File size: 998 bytes
Line 
1#! /bin/bash
2
3set -e
4#set -x
5
6WAFVERSION=2.0.17
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.