From 2dd45f8c1967ecbae85b7e5eb771d29697bf13f1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 20 Jan 2024 16:28:04 -0800
Subject: [PATCH] add Windows build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .github/workflows/Windows.yml | 56 +++++++++++++++++++++++++++--------
 1 file changed, 43 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index a79a088dd22..08fe4546233 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -1,7 +1,9 @@
 name: Windows
+
 on:
-  workflow_dispatch:
-       
+  push:
+    branches: [ master ]
+
 jobs:               
   build:
     strategy:
@@ -9,26 +11,54 @@ jobs:
         arch : [x86,x64,amd64_arm64]
         include:
          - arch : x86
-           bindings : '-DZ3_BUILD_PYTHON_BINDINGS=True'
+         - arch : amd64_arm64
          - arch : x64
-           cmd1 : 'julia -e "using Pkg; Pkg.add(PackageSpec(name=\"libcxxwrap_julia_jll\", version=\"0.7.0\"))"'
+           cmd1 : 'julia -e "using Pkg; Pkg.add(PackageSpec(name=\"libcxxwrap_julia_jll\"))"'
            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'
+           test : 1
+           bindings: -DJlCxx_DIR=%JlCxxDir%\..\lib\cmake\JlCxx -DZ3_BUILD_JAVA_BINDINGS=True -DZ3_BUILD_DOTNET_BINDINGS=True -DZ3_BUILD_PYTHON_BINDINGS=True 
 
     runs-on: windows-latest
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
       - name: Add msbuild to PATH
-        uses: microsoft/setup-msbuild@v1.3        
-      - name: Build
-        run: |          
+        uses: microsoft/setup-msbuild@v1.3
+      - run: |
           md build
           cd build
-          cmd /c "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}            
-          cmake -G "NMake Makefiles" ../
-          nmake        
+          ${{ matrix.cmd1 }}
+          ${{ matrix.cmd2 }}
+          ${{ matrix.cmd3 }}
+          call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}
+          cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../
+          nmake    
+          cd ..
+        shell: cmd
+      - name: Run Regressions
+        if: ${{ matrix.test }}
+        run: |
+           git clone https://github.com/z3prover/z3test z3test
+           python z3test\scripts\test_benchmarks.py build\z3.exe z3test\regressions\smt2
+        shell: cmd      
+      - name: Run Tests
+        if: ${{ matrix.test }}
+        run: |
+           pushd build
+           call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}
+           pushd build\python
+           python z3test.py z3
+           python z3test.py z3num
+           popd
+           pushd build
+           nmake cpp_example
+           examples\cpp_example_build_dir\cpp_example.exe
+           nmake c_example
+           examples\c_example_build_dir\c_example.exe
+           nmake test-z3
+           test-z3.exe -a
+           popd
+        shell: cmd
+