From 8f70a274e57b091ecb89cf44daf79246fdfba0c0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 18:44:32 +0200
Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines

---
 azure-pipelines.yml | 50 ++++++++++++++++++++++++++++++++++-----------
 1 file changed, 38 insertions(+), 12 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 007c1b558..7233e0a8e 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -1,19 +1,45 @@
-pool:
-  vmImage: "vs2017-win2016"
 
-steps:
-- task: DotNetCoreInstaller@0
-  displayName: 'Use .NET Core sdk 2.1'
-  inputs:
-    version: 2.1.300
+jobs:
 
-- task: DownloadSecureFile@1
-  inputs:
-    secureFile: 'z3.snk'
+- job: "Windows"
+  displayName: "Windows build"
+  pool:
+    vmImage: "vs2017-win2016"
+  steps:
+    - task: DotNetCoreInstaller@0
+      displayName: 'Use .NET Core sdk 2.1'
+      inputs:
+        version: 2.1.300
+    - script: scripts\vsts-vs2017.cmd x64
+    - script: scripts\vsts-vs2013.cmd
+
+- job: "LinuxPython"
+  displayName: "Ubuntu build - python make"
+  pool:
+    vmImage: "Ubuntu-16.04"
+  steps:
+    - task: DotNetCoreInstaller@0
+      displayName: 'Use .NET Core sdk 2.1'
+      inputs:
+        version: 2.1.300
+    # TBD add steps for building and testing
+
+
+- job: "LinuxCMake"
+  displayName: "Ubuntu build - cmake"
+  pool:
+    vmImage: "Ubuntu-16.04"
+  steps:
+    - task: DotNetCoreInstaller@0
+      displayName: 'Use .NET Core sdk 2.1'
+      inputs:
+        version: 2.1.300
+    # TBD add steps for building and testing
+    # debug/release/asan/ubsan/
+
+# TBD add job for Mac build/test 
 
-- script: scripts\vsts-vs2017.cmd x64
 
-- script: scripts\vsts-vs2013.cmd