mirror of
https://github.com/Z3Prover/z3
synced 2025-04-27 02:45:51 +00:00
update assembly names
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
c9267055c2
commit
a2fa4ff1bc
2 changed files with 5 additions and 4 deletions
|
@ -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'),
|
||||
|
|
|
@ -213,6 +213,7 @@ stages:
|
|||
parameters:
|
||||
ReleaseVersion: $(ReleaseVersion)
|
||||
BuildArchitecture: 'arm64'
|
||||
VCArchitecture: 'amd64_arm64'
|
||||
|
||||
|
||||
# Creates Z3 packages in various formats
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue