update nuget packaging targets #6570

Z3Prover · Feb 6, 2023 · 992793b · 992793b
1 parent 3712cbd
commit 992793b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
@@ -25,9 +25,11 @@ def mk_dir(d):
              'ubuntu-18' : ('so', 'linux-x64'),
              'ubuntu-20' : ('so', 'linux-x64'),
              'glibc-2.31' : ('so', 'linux-x64'),
+             'glibc' : ('so', 'linux-x64'),
              'x64-win' : ('dll', 'win-x64'),
              'x86-win' : ('dll', 'win-x86'),
-             'osx' : ('dylib', 'osx-x64'),
+             'x64-osx' : ('dylib', 'osx-x64'),
+             'arm64-osx' : ('dylib', 'osx-arm64'),
              'debian' : ('so', 'linux-x64') }