Function download

Android/android.py:223–230

(url, cache_dir)

def download(url, cache_dir):
    out_path = cache_dir / basename(url)
    cache_dir.mkdir(parents=True, exist_ok=True)
    if not out_path.is_file():
        run(["curl", "-Lf", "--retry", "5", "--retry-all-errors", "-o", out_path, url])
    else:
        print(f"Using cached version of {basename(url)}")
    return out_path


def configure_host_python(context, host=None):