diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index 8f238bcc2..44987868d 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -24,10 +24,11 @@ def mk_dir(d):
os_info = { 'ubuntu-latest' : ('so', 'linux-x64'),
'ubuntu-18' : ('so', 'linux-x64'),
'ubuntu-20' : ('so', 'linux-x64'),
- 'x64-glibc-2.31' : ('so', 'linux-x64'),
+ 'x64-glibc-2.35' : ('so', 'linux-x64'),
'x64-win' : ('dll', 'win-x64'),
'x86-win' : ('dll', 'win-x86'),
'x64-osx' : ('dylib', 'osx-x64'),
+ 'arm-glibc-2.35' : ('so', 'linux-arm64'),
'arm64-osx' : ('dylib', 'osx-arm64'),
'debian' : ('so', 'linux-x64') }
@@ -88,7 +89,7 @@ def mk_icon(source_root):
def mk_readme(source_root):
mk_dir("out/content")
- shutil.copy(f"{source_root}/src/api/dotnet/README.md", "out/content/README.md")
+ shutil.copy(f"{source_root}/src/api/dotnet/README.md", "out/README.md")
@@ -109,7 +110,7 @@ Linux Dependencies:
© Microsoft Corporation. All rights reserved.
smt constraint solver theorem prover
content/icon.jpg
- content/README.md
+ README.md
https://github.com/Z3Prover/z3
MIT