From a2fa4ff1bcefaf6499a200185c1c5500bcb20a13 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 3 Feb 2024 16:52:20 -0800 Subject: [PATCH] update assembly names Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_task.py | 8 ++++---- scripts/release.yml | 1 + 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py index c315b0071..9de592c08 100644 --- a/scripts/mk_nuget_task.py +++ b/scripts/mk_nuget_task.py @@ -21,10 +21,10 @@ def mk_dir(d): if not os.path.exists(d): os.makedirs(d) -os_info = { 'ubuntu-latest' : ('so', 'linux-x64'), - 'ubuntu-18' : ('so', 'linux-x64'), - 'ubuntu-20' : ('so', 'linux-x64'), - 'ubuntu-22' : ('so', 'linux-x64'), +os_info = { 'x64-ubuntu-latest' : ('so', 'linux-x64'), + 'x64-ubuntu-18' : ('so', 'linux-x64'), + 'x64-ubuntu-20' : ('so', 'linux-x64'), + 'x64-ubuntu-22' : ('so', 'linux-x64'), 'x64-glibc-2.35' : ('so', 'linux-x64'), 'x64-win' : ('dll', 'win-x64'), 'x86-win' : ('dll', 'win-x86'), diff --git a/scripts/release.yml b/scripts/release.yml index 0a6e9de57..7a2c4ef41 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -213,6 +213,7 @@ stages: parameters: ReleaseVersion: $(ReleaseVersion) BuildArchitecture: 'arm64' + VCArchitecture: 'amd64_arm64' # Creates Z3 packages in various formats