mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 09:55:19 +00:00
d7931b9342
Bumps [microsoft/setup-msbuild](https://github.com/microsoft/setup-msbuild) from 1.1 to 1.3. - [Release notes](https://github.com/microsoft/setup-msbuild/releases) - [Changelog](https://github.com/microsoft/setup-msbuild/blob/main/building-release.md) - [Commits](https://github.com/microsoft/setup-msbuild/compare/v1.1...v1.3) --- updated-dependencies: - dependency-name: microsoft/setup-msbuild dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
35 lines
1.2 KiB
YAML
35 lines
1.2 KiB
YAML
name: Windows
|
|
on:
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
build:
|
|
strategy:
|
|
matrix:
|
|
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@v4
|
|
- name: Add msbuild to PATH
|
|
uses: microsoft/setup-msbuild@v1.3
|
|
- name: Build
|
|
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
|
|
|