From f2098dc8632a343e8ccae3848289613cc1caed4f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 3 Jun 2019 15:08:03 -0700
Subject: [PATCH] vs pipeline

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/azure-pipeline.vs.yaml          | 15 +++++++++++++++
 scripts/azure-pipeline.vsts-vs2017.yaml |  1 +
 2 files changed, 16 insertions(+)
 create mode 100644 scripts/azure-pipeline.vs.yaml

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
new file mode 100644
index 000000000..498bd07e0
--- /dev/null
+++ b/scripts/azure-pipeline.vs.yaml
@@ -0,0 +1,15 @@
+pool:
+  name: Hosted
+  demands: python
+
+steps:
+- task: DotNetCoreInstaller@0
+  displayName: 'Use .NET Core sdk 2.1'
+  inputs:
+    version: 2.1.300
+
+- task: BatchScript@1
+  displayName: 'scripts\mk_win_dist.py'
+  inputs:
+    filename: 'scripts\mk_win_dist.py'
+
diff --git a/scripts/azure-pipeline.vsts-vs2017.yaml b/scripts/azure-pipeline.vsts-vs2017.yaml
index faa9fbff3..0feafbaf6 100644
--- a/scripts/azure-pipeline.vsts-vs2017.yaml
+++ b/scripts/azure-pipeline.vsts-vs2017.yaml
@@ -12,4 +12,5 @@ steps:
   displayName: 'scripts\vsts-vs2017.cmd'
   inputs:
     filename: 'scripts\vsts-vs2017.cmd'
+    arguments: 'x64'