51
51
# `main.zip` perhaps.
52
52
emsdk_zip_download_url = 'https://github.com/emscripten-core/emsdk/archive/HEAD.zip'
53
53
54
- zips_subdir = 'zips /'
54
+ download_dir = 'downloads /'
55
55
56
56
extra_release_tag = None
57
57
@@ -1407,13 +1407,13 @@ def build_binaryen_tool(tool):
1407
1407
return success
1408
1408
1409
1409
1410
- def download_and_unzip ( zipfile , dest_dir , filename_prefix = '' , clobber = True ):
1411
- debug_print ('download_and_unzip(zipfile =' + zipfile + ', dest_dir=' + dest_dir + ')' )
1410
+ def download_and_extract ( archive , dest_dir , filename_prefix = '' , clobber = True ):
1411
+ debug_print ('download_and_extract(archive =' + archive + ', dest_dir=' + dest_dir + ')' )
1412
1412
1413
- url = urljoin (emsdk_packages_url , zipfile )
1414
- download_target = get_download_target (url , zips_subdir , filename_prefix )
1413
+ url = urljoin (emsdk_packages_url , archive )
1414
+ download_target = get_download_target (url , download_dir , filename_prefix )
1415
1415
1416
- received_download_target = download_file (url , zips_subdir , not KEEP_DOWNLOADS , filename_prefix )
1416
+ received_download_target = download_file (url , download_dir , not KEEP_DOWNLOADS , filename_prefix )
1417
1417
if not received_download_target :
1418
1418
return False
1419
1419
assert received_download_target == download_target
@@ -1423,7 +1423,7 @@ def download_and_unzip(zipfile, dest_dir, filename_prefix='', clobber=True):
1423
1423
# could remain.
1424
1424
if clobber :
1425
1425
remove_tree (dest_dir )
1426
- if zipfile .endswith ('.zip' ):
1426
+ if archive .endswith ('.zip' ):
1427
1427
return unzip (download_target , dest_dir )
1428
1428
else :
1429
1429
return untargz (download_target , dest_dir )
@@ -1880,7 +1880,8 @@ def install_tool(self):
1880
1880
elif hasattr (self , 'git_branch' ):
1881
1881
success = git_clone_checkout_and_pull (url , self .installation_path (), self .git_branch )
1882
1882
elif url .endswith (ARCHIVE_SUFFIXES ):
1883
- success = download_and_unzip (url , self .installation_path (), filename_prefix = getattr (self , 'zipfile_prefix' , '' ))
1883
+ success = download_and_extract (url , self .installation_path (),
1884
+ filename_prefix = getattr (self , 'download_prefix' , '' ))
1884
1885
else :
1885
1886
assert False , 'unhandled url type: ' + url
1886
1887
@@ -1930,8 +1931,8 @@ def cleanup_temp_install_files(self):
1930
1931
return
1931
1932
url = self .download_url ()
1932
1933
if url .endswith (ARCHIVE_SUFFIXES ):
1933
- download_target = get_download_target (url , zips_subdir , getattr (self , 'zipfile_prefix ' , '' ))
1934
- debug_print ("Deleting temporary zip file " + download_target )
1934
+ download_target = get_download_target (url , download_dir , getattr (self , 'download_prefix ' , '' ))
1935
+ debug_print ("Deleting temporary download: " + download_target )
1935
1936
rmfile (download_target )
1936
1937
1937
1938
def uninstall (self ):
@@ -2116,7 +2117,7 @@ def update_emsdk():
2116
2117
if is_emsdk_sourced_from_github ():
2117
2118
errlog ('You seem to have bootstrapped Emscripten SDK by cloning from GitHub. In this case, use "git pull" instead of "emsdk update" to update emsdk. (Not doing that automatically in case you have local changes)' )
2118
2119
sys .exit (1 )
2119
- if not download_and_unzip (emsdk_zip_download_url , EMSDK_PATH , clobber = False ):
2120
+ if not download_and_extract (emsdk_zip_download_url , EMSDK_PATH , clobber = False ):
2120
2121
sys .exit (1 )
2121
2122
2122
2123
0 commit comments