diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py index 9c2a15c67..97de725e9 100644 --- a/scripts/mk_unix_dist.py +++ b/scripts/mk_unix_dist.py @@ -181,7 +181,9 @@ def get_os_name(): def get_z3_name(): major, minor, build, revision = get_version() - if sys.maxsize >= 2**32: + if mk_util.IS_ARCH_ARM64: + platform = "arm64" + elif sys.maxsize >= 2**32: platform = "x64" else: platform = "x86" diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 4296cab08..1ba0ea5af 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -180,6 +180,11 @@ stages: inputs: artifact: 'Mac' path: $(Agent.TempDirectory)\package + - task: DownloadPipelineArtifact@2 + displayName: 'Download macOS Arm64 Build' + inputs: + artifact: 'MacArm64' + path: $(Agent.TempDirectory)\package - task: NuGetToolInstaller@0 inputs: versionSpec: 5.x @@ -435,6 +440,11 @@ stages: inputs: artifactName: 'Mac' targetPath: tmp + - task: DownloadPipelineArtifact@2 + displayName: "Download MacArm64" + inputs: + artifactName: 'MacArm64' + targetPath: tmp - task: DownloadPipelineArtifact@2 displayName: "Download Ubuntu" inputs: