Windows.yml

name: Windows
on:
  workflow_dispatch:

jobs:               
  build:
    strategy:
      matrix:
        arch : [x86,x64,x64_arm64]
        include:
         - arch : x86
           bindings : '-DZ3_BUILD_PYTHON_BINDINGS=True'
         - arch : x64
           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 -DZ3_BUILD_JAVA_BINDINGS=True -DZ3_BUILD_DOTNET_BINDINGS=True -DZ3_BUILD_PYTHON_BINDINGS=True -DCMAKE_BUILD_TYPE=RelWithDebInfo
         - arch : x64_arm64
           bindings: '-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
      - run: |
          md build
          cd build
          cmd /q /k "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\Common7\Tools\vsdevcmd.bat" -arch=${{ matrix.arch }}
          cmake ..
          cmake --build . --config Release