mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-07 06:33:23 +00:00
Code Activity

Use osx-x64 for mac rid rather than macos. (#5288)

Browse source
This commit is contained in:
Matt Thornton 2021-05-20 23:19:31 +01:00 • committed by GitHub
parent 03d2c5f3d0
commit 9cc1549dbe
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_nuget_release.py
View file

@ -48,7 +48,7 @@ os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-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', 'macos'), 'osx' : ('dylib', 'osx-x64'),
'debian' : ('so', 'debian.8-x64') } 'debian' : ('so', 'debian.8-x64') }
def classify_package(f): def classify_package(f):
@ -69,7 +69,7 @@ def unpack():
# +- ubuntu.16.04-x64 # +- ubuntu.16.04-x64
# +- ubuntu.14.04-x64 # +- ubuntu.14.04-x64
# +- debian.8-x64 # +- debian.8-x64
# +- macos # +- osx-x64
# + # +
for f in os.listdir("packages"): for f in os.listdir("packages"):
print(f) print(f)

4
scripts/mk_nuget_task.py
View file

@ -28,7 +28,7 @@ os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'),
'glibc-2.31' : ('so', 'glibc-x64'), 'glibc-2.31' : ('so', 'glibc-x64'),
'x64-win' : ('dll', 'win-x64'), 'x64-win' : ('dll', 'win-x64'),
'x86-win' : ('dll', 'win-x86'), 'x86-win' : ('dll', 'win-x86'),
'osx' : ('dylib', 'macos'), 'osx' : ('dylib', 'osx-x64'),
'debian' : ('so', 'debian.8-x64') } 'debian' : ('so', 'debian.8-x64') }
def classify_package(f): def classify_package(f):
@ -52,7 +52,7 @@ def unpack(packages, symbols):
# +- win-x64 # +- win-x64
# +- win-x86 # +- win-x86
# +- ubuntu-x64 # +- ubuntu-x64
# +- macos # +- osx-x64
# + # +
tmp = "tmp" if not symbols else "tmpsym" tmp = "tmp" if not symbols else "tmpsym"
for f in os.listdir(packages): for f in os.listdir(packages):

2
src/api/dotnet/Microsoft.Z3.csproj.in
View file

@ -84,7 +84,7 @@ ${Z3_DOTNET_COMPILE_ITEMS}
<PackagePath>runtimes\linux-x64\native</PackagePath> <PackagePath>runtimes\linux-x64\native</PackagePath>
</Content> </Content>
<Content Include="${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.dylib" Condition="Exists('${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.dylib')"> <Content Include="${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.dylib" Condition="Exists('${CMAKE_LIBRARY_OUTPUT_DIRECTORY}/libz3.dylib')">
<PackagePath>runtimes\macos\native</PackagePath> <PackagePath>runtimes\osx-x64\native</PackagePath>
</Content> </Content>
</ItemGroup> </ItemGroup>