From c7c007c2c66e28f584927ceee359e6b8e2832b24 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Dec 2023 19:31:17 -0800
Subject: [PATCH] Update Windows.yml

---
 .github/workflows/Windows.yml | 65 ++++++++++++++++++-----------------
 1 file changed, 33 insertions(+), 32 deletions(-)

diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index 5ee65b80e21..c7ad2891105 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -4,42 +4,43 @@ on:
     branches: [ master ]
   pull_request:
     branches: [ master ]
-jobs:
+       
+jobs:               
   build:
-    runs-on: windows-latest
     strategy:
       matrix:
-        x86:
-          arch: 'x86'
-          setupCmd1: ''
-          setupCmd2: ''
-          setupCmd3: ''
-          bindings: '$(cmakePy)'
-          runTests: 'False'
-        x64:
-          arch: 'x64'
-          setupCmd1: 'julia -e "using Pkg; Pkg.add(PackageSpec(name=\"libcxxwrap_julia_jll\", version=\"0.7.0\"))"'
-          setupCmd2: 'julia -e "using libcxxwrap_julia_jll; print(dirname(libcxxwrap_julia_jll.libcxxwrap_julia_path))" > tmp.env'
-          setupCmd3: 'set /P JlCxxDir=<tmp.env'
-          bindings:  '-DJlCxx_DIR=%JlCxxDir%\..\lib\cmake\JlCxx $(cmakeJava) $(cmakeNet) $(cmakePy) -DCMAKE_BUILD_TYPE=RelWithDebInfo'
-          runTests:  'False'
-        arm64:
-          arch: 'amd64_arm64'
-          setupCmd1: ''
-          setupCmd2: ''
-          setupCmd3: ''
-          bindings: ''
-          runTests: 'False'
+        arch : [x86,x64,amd64_arm64]
+        include:
+         - arch : x86
+           bindings : -DZ3_BUILD_PYTHON_BINDINGS=True
+         - arch : x64
+           cmd1 : 'julia -e "using Pkg; Pkg.add(PackageSpec(name=\"libcxxwrap_julia_jll\", version=\"0.7.0\"))"'
+           cmd2 : 'julia -e "using libcxxwrap_julia_jll; print(dirname(libcxxwrap_julia_jll.libcxxwrap_julia_path))" > tmp.env'
+           cmd3 : 'set /P JlCxxDir=<tmp.env'
+           bindings: '-DJlCxx_DIR=%JlCxxDir%\..\lib\cmake\JlCxx $(cmakeJava) $(cmakeNet) $(cmakePy) -DCMAKE_BUILD_TYPE=RelWithDebInfo'
+         - arch : amd64_arm64
+           bindings: -DZ3_BUILD_PYTHON_BINDINGS=True
+
+    runs-on: windows-latest
     steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
       - name: Create build directory
         run: md build
       - name: Build
-        run: |
-          cd build
-          $(setupCmd1)
-          $(setupCmd2)
-          $(setupCmd3)
-          call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" $(arch)
-          cmake $(bindings) -G "NMake Makefiles" ../
-          nmake
-          cd ..
+        run:  cd build
+      - name: cmd1
+        if: ${{ matrix.cmd1 }}
+        run: cmd1
+      - name: cmd2
+        if: ${{ matrix.cmd2 }}
+        run: cmd2
+      - name: cmd3
+        if: ${{ matrix.cmd3 }}
+        run: cmd3        
+      - name: vscmd
+        run: call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}
+      - name: configure
+        run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../
+      - name: make
+        run: nmake