From 654e53e762d29548f794911e862f25a348e541dd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 4 Jun 2021 11:15:13 -0700 Subject: [PATCH] auxiliary build Signed-off-by: Nikolaj Bjorner --- scripts/mk_win_dist.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py index bd3de3087..8f00b2755 100644 --- 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: