Add a script to download mypyc wheels for a release (#6273)

Author: msullivan

misc/download-mypyc-wheels.py

@@ -0,0 +1,53 @@
+#!/usr/bin/env python3
+
+# Script for downloading mypy_mypyc wheels in preparation for a release
+
+import os
+import os.path
+import sys
+from urllib.request import urlopen
+
+
+PLATFORMS = [
+    'macosx_10_6_x86_64.macosx_10_9_intel.macosx_10_9_x86_64.macosx_10_10_intel.macosx_10_10_x86_64',
+    'manylinux1_x86_64',
+    'win_amd64',
+]
+MIN_VER = 5
+MAX_VER = 7
+BASE_URL = "https://github.com/mypyc/mypy_mypyc-wheels/releases/download"
+URL = "{base}/v{version}/mypy_mypyc-{version}-cp3{pyver}-cp3{pyver}m-{platform}.whl"
+
+def download(url):
+    print('Downloading', url)
+    name = os.path.join('dist', os.path.split(url)[1])
+    with urlopen(url) as f:
+        data = f.read()
+    with open(name, 'wb') as f:
+        f.write(data)
+
+def download_files(version):
+    for pyver in range(MIN_VER, MAX_VER + 1):
+        for platform in PLATFORMS:
+            url = URL.format(
+                base=BASE_URL,
+                version=version,
+                pyver=pyver,
+                platform=platform)
+            # argh, there is an inconsistency here and I don't know why
+            if 'win_' in platform:
+                parts = url.rsplit('/', 1)
+                parts[1] = parts[1].replace("+dev", ".dev")
+                url = '/'.join(parts)
+
+            download(url)
+
+def main(argv):
+    if len(argv) != 2:
+        sys.exit("Usage: download-mypy-wheels.py version")
+
+    os.makedirs('dist', exist_ok=True)
+    download_files(argv[1])
+
+if __name__ == '__main__':
+    main(sys.argv)