mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Use more generic linux-x64 for NuGet rid instead of specific ubuntu, debian, etc. (#5310)

Browse source
This commit is contained in:
Iain Scott 2021-05-28 21:53:52 +01:00 committed by GitHub
parent 5a66dfad2a
commit 48beb814f5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
scripts/mk_nuget_release.py
View file

@ -43,13 +43,13 @@ def download_installs():
sys.stdout.flush() sys.stdout.flush()
urllib.request.urlretrieve(url, "packages/%s" % name) urllib.request.urlretrieve(url, "packages/%s" % name)
os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'), os_info = {"z64-ubuntu-14" : ('so', 'linux-x64'),
'ubuntu-16' : ('so', 'ubuntu-x64'), 'ubuntu-16' : ('so', 'linux-x64'),
'x64-win' : ('dll', 'win-x64'), 'x64-win' : ('dll', 'win-x64'),
# Skip x86 as I can't get dotnet build to produce AnyCPU TargetPlatform # Skip x86 as I can't get dotnet build to produce AnyCPU TargetPlatform
# 'x86-win' : ('dll', 'win-x86'), # 'x86-win' : ('dll', 'win-x86'),
'osx' : ('dylib', 'osx-x64'), 'osx' : ('dylib', 'osx-x64'),
'debian' : ('so', 'debian.8-x64') } 'debian' : ('so', 'linux-x64') }
def classify_package(f): def classify_package(f):
for os_name in os_info: for os_name in os_info:
@ -66,9 +66,7 @@ def unpack():
# +- runtimes # +- runtimes
# +- win-x64 # +- win-x64
# +- win-x86 # +- win-x86
# +- ubuntu.16.04-x64 # +- linux-x64
# +- ubuntu.14.04-x64
# +- debian.8-x64
# +- osx-x64 # +- osx-x64
# + # +
for f in os.listdir("packages"): for f in os.listdir("packages"):

12
scripts/mk_nuget_task.py
View file

@ -22,14 +22,14 @@ def mk_dir(d):
os.makedirs(d) os.makedirs(d)
os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'), os_info = {"z64-ubuntu-14" : ('so', 'linux-x64'),
'ubuntu-18' : ('so', 'ubuntu-x64'), 'ubuntu-18' : ('so', 'linux-x64'),
'ubuntu-20' : ('so', 'ubuntu-x64'), 'ubuntu-20' : ('so', 'linux-x64'),
'glibc-2.31' : ('so', 'ubuntu-x64'), 'glibc-2.31' : ('so', 'linux-x64'),
'x64-win' : ('dll', 'win-x64'), 'x64-win' : ('dll', 'win-x64'),
'x86-win' : ('dll', 'win-x86'), 'x86-win' : ('dll', 'win-x86'),
'osx' : ('dylib', 'osx-x64'), 'osx' : ('dylib', 'osx-x64'),
'debian' : ('so', 'debian.8-x64') } 'debian' : ('so', 'linux-x64') }
def classify_package(f): def classify_package(f):
for os_name in os_info: for os_name in os_info:
@ -51,7 +51,7 @@ def unpack(packages, symbols):
# +- runtimes # +- runtimes
# +- win-x64 # +- win-x64
# +- win-x86 # +- win-x86
# +- ubuntu-x64 # +- linux-x64
# +- osx-x64 # +- osx-x64
# + # +
tmp = "tmp" if not symbols else "tmpsym" tmp = "tmp" if not symbols else "tmpsym"