bootstrap.py: skip download if waf already exists

It seems like a good idea not to generate any additional network traffic
and wait times if we don't have to.

Also print the URL it's downloading from.

Note that if we require a newer waf release, there will be a problem.
Running ./bootstrap.py won't get the newest waf version anymore in case
the old version is in the source dir. Not sure how to handle this.
This commit is contained in:
wm4 2013-11-24 17:00:12 +01:00
parent efa7f8f376
commit dc87c5e452
1 changed files with 7 additions and 1 deletions

View File

@ -5,15 +5,21 @@
from __future__ import print_function
import os, sys, stat, hashlib
if os.path.exists("waf"):
print("Found 'waf', skipping download.")
sys.exit(0)
try:
from urllib.request import urlopen
except:
from urllib2 import urlopen
WAFRELEASE = "waf-1.7.13"
WAFURL = "https://waf.googlecode.com/files/" + WAFRELEASE
SHA256HASH = "03cc750049350ee01cdbc584b70924e333fcc17ba4a2d04648dab1535538a873"
waf = urlopen("https://waf.googlecode.com/files/" + WAFRELEASE).read()
print("Downloading %s..." % WAFURL)
waf = urlopen(WAFURL).read()
if SHA256HASH == hashlib.sha256(waf).hexdigest():
with open("waf", "wb") as wf: