From b82214ef0de966bd919ef1d58ba461dfa50a1953 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Mar 2018 16:59:41 -0700
Subject: [PATCH] try paths to vsvars

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 vsts.cmd | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/vsts.cmd b/vsts.cmd
index 7dbd84cd1..8d715f6a0 100644
--- a/vsts.cmd
+++ b/vsts.cmd
@@ -1,5 +1,7 @@
 md build
 cd build
 set
+"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
+%VS140COMNTOOLS%\vcvars64.bat
 cmake -G "NMake Makefiles" ../
 nmake