auxiliary build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jun 4, 2021 · 654e53e · 654e53e
1 parent 7ce88ec
commit 654e53e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
@@ -181,10 +181,10 @@ def exec_cmds(cmds):
 def mk_z3(x64):
     cmds = []
     if x64:
-        cmds.append('call "%VCINSTALLDIR%vcvarsall.bat" amd64')
+        cmds.append('call "%VCINSTALLDIR%Auxiliary\\build\\vcvarsall.bat" amd64')
         cmds.append('cd %s' % BUILD_X64_DIR)
     else:
-        cmds.append('call "%VCINSTALLDIR%vcvarsall.bat" x86')
+        cmds.append('call "%VCINSTALLDIR%Auxiliary\\build\\vcvarsall.bat" x86')
         cmds.append('cd %s' % BUILD_X86_DIR)
     cmds.append('nmake')
     if exec_cmds(cmds) != 0: