[CI] Use Vault repository to re-gain access to devtoolset-4 (#5589)
* [CI] Use Vault repository to re-gain access to devtoolset-4 * Use manylinux2010 tag * Update Dockerfile.jvm * Fix rename_whl.py * Upgrade Pip, to handle manylinux2010 tag * Update insert_vcomp140.py * Update test_python.sh
This commit is contained in:
committed by
GitHub
parent
e4f5b6c84f
commit
92913aaf7f
@@ -21,7 +21,7 @@ whl_path = sys.argv[1]
|
||||
commit_id = sys.argv[2]
|
||||
platform_tag = sys.argv[3]
|
||||
|
||||
assert platform_tag in ['manylinux1_x86_64', 'win_amd64']
|
||||
assert platform_tag in ['manylinux1_x86_64', 'manylinux2010_x86_64', 'win_amd64']
|
||||
|
||||
dirname, basename = os.path.dirname(whl_path), os.path.basename(whl_path)
|
||||
|
||||
@@ -32,6 +32,6 @@ with cd(dirname):
|
||||
'version': tokens[1],
|
||||
'commit_id': commit_id,
|
||||
'platform_tag': platform_tag}
|
||||
new_name = '{pkg_name}-{version}+{commit_id}-py2.py3-none-{platform_tag}.whl'.format(**keywords)
|
||||
new_name = '{pkg_name}-{version}+{commit_id}-py3-none-{platform_tag}.whl'.format(**keywords)
|
||||
print('Renaming {} to {}...'.format(basename, new_name))
|
||||
os.rename(basename, new_name)
|
||||
|
||||
Reference in New Issue
Block a user