From d51f8c90f9ca528c0c9ea965f4e158188e56d4b4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 11 Jun 2019 10:41:46 -0700
Subject: [PATCH] release

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml |  1 +
 scripts/release.yml | 99 +++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 100 insertions(+)
 create mode 100644 scripts/release.yml

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 4b8445413..35c201327 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -83,6 +83,7 @@ jobs:
     - script: | 
          jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/guide.ipynb
          jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/strategies.ipynb
+#        jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/advanced.ipynb
     - script: git clone https://github.com/z3prover/z3test z3test
     - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2    
 
diff --git a/scripts/release.yml b/scripts/release.yml
new file mode 100644
index 000000000..ebb402939
--- /dev/null
+++ b/scripts/release.yml
@@ -0,0 +1,99 @@
+jobs:
+
+- job: Mac
+  displayName: "Mac Build"
+  pool:
+    vmImage: "macOS-10.14"
+  steps:
+  - task: DownloadSecureFile@1
+    inputs:
+      secureFile: 'z3.snk'
+  - script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk
+  - script: git clone https://github.com/z3prover/z3test z3test
+  - script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2    
+  - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
+  - task: PublishPipelineArtifact@0
+    inputs:
+      artifactName: 'Mac'
+      targetPath: $(Build.ArtifactStagingDirectory)
+
+
+- job: Ubuntu
+  displayName: "Ubuntu build"
+  pool:
+    vmImage: "ubuntu-16.04"
+  steps:
+  - task: DownloadSecureFile@1
+    inputs:
+      secureFile: 'z3.snk'
+  - script: python scripts/mk_unix_dist.py --dotnet-key=$(Agent.TempDirectory)/z3.snk
+  - script: git clone https://github.com/z3prover/z3test z3test
+  - script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2    
+  - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
+  - task: PublishPipelineArtifact@0
+    inputs:
+      artifactName: 'Ubuntu'
+      targetPath: $(Build.ArtifactStagingDirectory)
+
+- job: Windows
+  displayName: "Windows build"
+  pool:
+    vmImage: "vs2017-win2016"
+  steps:
+  - task: DownloadSecureFile@1
+    inputs:
+      secureFile: 'z3.snk'
+  - script: scripts\mk_win_dist.cmd
+#  - script: git clone https://github.com/z3prover/z3test z3test
+#  - script: python z3test/scripts/test_benchmarks.py build-dist\z3.exe z3test/regressions/smt2    
+  - script: xcopy dist\*.zip $(Build.ArtifactStagingDirectory)\* /y
+  - task: PublishPipelineArtifact@0
+    inputs:
+      artifactName: 'Windows'
+      targetPath: $(Build.ArtifactStagingDirectory)
+
+- job: Deploy
+  displayName: "Deploy into GitHub"
+  dependsOn: 
+  - Mac
+  - Ubuntu
+  - Windows
+  steps:
+  - task: DownloadPipelineArtifact@0
+    inputs:
+     artifactName: 'Windows'
+     targetPath: tmp
+  - task: DownloadPipelineArtifact@0
+    inputs:
+     artifactName: 'Mac'
+     targetPath: tmp
+  - task: DownloadPipelineArtifact@0
+    inputs:
+     artifactName: 'Ubuntu'
+     targetPath: tmp
+  - task: GitHubRelease@0
+    inputs:
+      gitHubConnection: Z3GitHub
+      repositoryName: 'Z3Prover/z3'
+      action: 'delete'
+      target: '$(Build.SourceVersion)'
+      tagSource: 'manual'
+      tag: 'Nightly'
+  - task: GitHubRelease@0
+    inputs:
+      gitHubConnection: Z3GitHub
+      repositoryName: 'Z3Prover/z3'
+      action: 'create'
+      target: '$(Build.SourceVersion)'
+      tagSource: 'manual'
+      tag: 'Nightly'
+      title: 'Nightly'
+      releaseNotesSource: 'input'
+      releaseNotes: 'nightly build'
+      assets: 'tmp/*'
+#     assetUploadMode: 'replace'
+      isDraft: false
+      isPreRelease: true
+
+
+# TBD: run regression tests on generated binaries.