From bda86726af13eccd1f1455c576f039f2d7fced2f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 Jul 2022 20:02:27 -0700
Subject: [PATCH] macarm
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
scripts/release.yml | 23 ++++++++---------------
1 file changed, 8 insertions(+), 15 deletions(-)
diff --git a/scripts/release.yml b/scripts/release.yml
index 6518312b8..494442290 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -48,21 +48,14 @@ stages:
pool:
vmImage: "macOS-latest"
steps:
- - task: PythonScript@0
- displayName: Build
+ - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64 --os=osx-11.0
+ - script: git clone https://github.com/z3prover/z3test z3test
+ - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
+ - task: PublishPipelineArtifact@1
inputs:
- scriptSource: 'filepath'
- scriptPath: scripts/mk_unix_dist.py
- arguments: --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --nojava --arch=arm64 --os=osx-11.0
- - task: CopyFiles@2
- inputs:
- sourceFolder: dist
- contents: '*.zip'
- targetFolder: $(Build.ArtifactStagingDirectory)
- - task: PublishPipelineArtifact@0
- inputs:
- artifactName: 'macOSBuildArm64'
+ artifactName: 'MacArm64'
targetPath: $(Build.ArtifactStagingDirectory)
+
- job: UbuntuBuild
@@ -400,7 +393,7 @@ stages:
- task: DownloadPipelineArtifact@2
displayName: 'Download macOS Arm64 Build'
inputs:
- artifact: 'MacOSBuildArm64'
+ artifact: 'MacArm64'
path: $(Agent.TempDirectory)\package
- task: DownloadPipelineArtifact@2
displayName: 'Download ManyLinux Build'
@@ -465,7 +458,7 @@ stages:
- task: DownloadPipelineArtifact@2
displayName: 'Download macOSArm64 Build'
inputs:
- artifact: 'macOSBuildArm64'
+ artifact: 'MacArm64'
path: $(Agent.TempDirectory)
- task: DownloadPipelineArtifact@2
displayName: 'Download Win32 Build'