mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Fix NuGet package name and glibc rid. (#5290)

Browse source
This commit is contained in:
Matt Thornton 2021-05-21 16:41:29 +01:00 committed by GitHub
parent 17be37a5f6
commit ce1a48486e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_nuget_release.py
View file

@ -94,7 +94,7 @@ def create_nuget_spec():
contents = """<?xml version="1.0" encoding="utf-8"?>
<package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
<metadata>
<id>Microsoft.Z3</id>
<id>Microsoft.Z3.x64</id>
<version>{0}</version>
<authors>Microsoft</authors>
<description>

4
scripts/mk_nuget_task.py
View file

@ -25,7 +25,7 @@ def mk_dir(d):
os_info = {"z64-ubuntu-14" : ('so', 'ubuntu.14.04-x64'),
'ubuntu-18' : ('so', 'ubuntu-x64'),
'ubuntu-20' : ('so', 'ubuntu-x64'),
'glibc-2.31' : ('so', 'glibc-x64'),
'glibc-2.31' : ('so', 'ubuntu-x64'),
'x64-win' : ('dll', 'win-x64'),
'x86-win' : ('dll', 'win-x86'),
'osx' : ('dylib', 'osx-x64'),
@ -89,7 +89,7 @@ def create_nuget_spec(version, repo, branch, commit, symbols):
contents = """<?xml version="1.0" encoding="utf-8"?>
<package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
<metadata>
<id>Microsoft.Z3</id>
<id>Microsoft.Z3.x64</id>
<version>{0}</version>
<authors>Microsoft</authors>
<description>