mirror of
https://github.com/denoland/rusty_v8.git
synced 2024-12-27 01:29:19 -05:00
97 lines
2.6 KiB
Python
Executable file
97 lines
2.6 KiB
Python
Executable file
#!/usr/bin/env python
|
|
# Copyright (c) 2012 The Chromium Authors. All rights reserved.
|
|
# Use of this source code is governed by a BSD-style license that can be
|
|
# found in the LICENSE file.
|
|
"""This script is used to download prebuilt gn/ninja binaries."""
|
|
|
|
from __future__ import print_function
|
|
import argparse
|
|
import os
|
|
import sys
|
|
import tarfile
|
|
import tempfile
|
|
import time
|
|
|
|
try:
|
|
from urllib2 import HTTPError, URLError, urlopen
|
|
except ImportError: # For Py3 compatibility
|
|
from urllib.error import HTTPError, URLError
|
|
from urllib.request import urlopen
|
|
|
|
URL = "https://github.com/denoland/ninja_gn_binaries/archive/20200313.tar.gz"
|
|
DIR = None
|
|
|
|
|
|
def DownloadUrl(url, output_file):
|
|
"""Download url into output_file."""
|
|
CHUNK_SIZE = 4096
|
|
num_retries = 3
|
|
retry_wait_s = 5 # Doubled at each retry.
|
|
|
|
while True:
|
|
try:
|
|
sys.stdout.write('Downloading %s...' % url)
|
|
sys.stdout.flush()
|
|
response = urlopen(url)
|
|
bytes_done = 0
|
|
while True:
|
|
chunk = response.read(CHUNK_SIZE)
|
|
if not chunk:
|
|
break
|
|
output_file.write(chunk)
|
|
bytes_done += len(chunk)
|
|
if bytes_done == 0:
|
|
raise URLError("empty response")
|
|
print(' Done.')
|
|
return
|
|
except URLError as e:
|
|
sys.stdout.write('\n')
|
|
print(e)
|
|
if num_retries == 0 or isinstance(e, HTTPError) and e.code == 404:
|
|
raise e
|
|
num_retries -= 1
|
|
print('Retrying in %d s ...' % retry_wait_s)
|
|
sys.stdout.flush()
|
|
time.sleep(retry_wait_s)
|
|
retry_wait_s *= 2
|
|
|
|
|
|
def EnsureDirExists(path):
|
|
if not os.path.exists(path):
|
|
os.makedirs(path)
|
|
|
|
|
|
def DownloadAndUnpack(url, output_dir):
|
|
"""Download an archive from url and extract into output_dir."""
|
|
with tempfile.TemporaryFile() as f:
|
|
DownloadUrl(url, f)
|
|
f.seek(0)
|
|
EnsureDirExists(output_dir)
|
|
t = tarfile.open(mode='r:gz', fileobj=f)
|
|
t.extractall(path=output_dir)
|
|
|
|
|
|
def Update():
|
|
try:
|
|
DownloadAndUnpack(URL, DIR)
|
|
except URLError:
|
|
print('Failed to download ninja/gn binaries.')
|
|
sys.exit(1)
|
|
|
|
return 0
|
|
|
|
|
|
def main():
|
|
parser = argparse.ArgumentParser(description='Download ninja/gn binaries.')
|
|
parser.add_argument('--dir', help='Where to extract the package.')
|
|
args = parser.parse_args()
|
|
|
|
if args.dir:
|
|
global DIR
|
|
DIR = os.path.abspath(args.dir)
|
|
|
|
return Update()
|
|
|
|
|
|
if __name__ == '__main__':
|
|
sys.exit(main())
|