From f0f37411a2ea16dd4d1f3c2e37755bd22a20e67d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 5 Jun 2019 20:15:11 -0700 Subject: [PATCH] macos Signed-off-by: Nikolaj Bjorner --- scripts/nightly-macos.yaml | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 scripts/nightly-macos.yaml diff --git a/scripts/nightly-macos.yaml b/scripts/nightly-macos.yaml new file mode 100644 index 000000000..4c4a10112 --- /dev/null +++ b/scripts/nightly-macos.yaml @@ -0,0 +1,35 @@ +pool: + vmImage: "macOS-10.14" + +steps: + +- task: DotNetCoreInstaller@0 + displayName: 'Use .NET Core sdk 2.1' + inputs: + version: 2.1.300 + +- task: DownloadSecureFile@1 + inputs: + secureFile: 'z3.snk' + +- script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk + +- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. + +- task: GitHubRelease@0 + inputs: + gitHubConnection: Z3GitHub + repositoryName: 'Z3Prover/z3' + action: 'create' + target: '$(Build.SourceVersion)' + tagSource: 'manual' + tag: 'NightlyMacOs' + title: 'Nightly MacOs' + releaseNotesSource: 'input' + releaseNotes: 'nightly build' + isDraft: false + isPreRelease: true + + + +