update build-win-signed-cmake

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 3, 2024 · e295ac9 · e295ac9
1 parent e398f84
commit e295ac9
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/scripts/build-win-signed-cmake.yml b/scripts/build-win-signed-cmake.yml
@@ -1,6 +1,7 @@
 parameters:
   ReleaseVersion: ''
   BuildArchitecture: ''
+  VCArchitecture: ''
 
 jobs:
 - job: WindowsBuild${{parameters.BuildArchitecture}}
@@ -18,6 +19,7 @@ jobs:
     displayName: Build
     inputs:
       script:
+        call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{parameters.VCArchitecture}} &
         python scripts\mk_win_dist_cmake.py
             --${{parameters.BuildArchitecture}}-only
             --assembly-version=${{parameters.ReleaseVersion}}

diff --git a/scripts/mk_win_dist_cmake.py b/scripts/mk_win_dist_cmake.py
@@ -196,7 +196,7 @@ def mk_build_dir(arch):
     if not check_build_dir(build_path) or FORCE_MK:
         mk_dir(build_path)
         if arch == "arm64":
-            arch = "x64_arm64"
+            arch = "amd64_arm64"
 
         cmds = []
         cmds.append(f"cd {build_path}")
@@ -266,7 +266,7 @@ def build_z3(arch):
         print("build z3")
     build_dir = get_build_dir(arch)
     if arch == "arm64":
-        arch = "x64_arm64"
+        arch = "amd64_arm64"
     cmds = []
     cmds.append('call "%VCINSTALLDIR%Auxiliary\\build\\vcvarsall.bat" ' + arch)
     cmds.append('cd %s' % build_dir)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -154,17 +154,19 @@ stages:
     parameters:
       ReleaseVersion: $(ReleaseVersion)
       BuildArchitecture: 'x86'
+      VCArchitecture: 'x86'
 
   - template: build-win-signed-cmake.yml
     parameters:
       ReleaseVersion: $(ReleaseVersion)
       BuildArchitecture: 'x64'
+      VCArchitecture: 'x64'
 
   - template: build-win-signed-cmake.yml
     parameters:
       ReleaseVersion: $(ReleaseVersion)
       BuildArchitecture: 'arm64'
-
+      VCArchitecture: 'amd64_arm64'
 
 - stage: Package
   jobs: