mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 09:55:19 +00:00
46 lines
1.6 KiB
YAML
46 lines
1.6 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: Create build directory
|
|
run: md build
|
|
- name: Build
|
|
run: cd build
|
|
- name: cmd1
|
|
if: ${{ matrix.cmd1 }}
|
|
run: ${{ matrix.cmd1 }}
|
|
- name: cmd2
|
|
if: ${{ matrix.cmd2 }}
|
|
run: ${{ matrix.cmd2 }}
|
|
- name: cmd3
|
|
if: ${{ matrix.cmd3 }}
|
|
run: ${{ matrix.cmd3 }}
|
|
- name: Setup Visual Studio environment
|
|
run: |
|
|
$vcvarsall = "C:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Community\\VC\\Auxiliary\\Build\\vcvarsall.bat"
|
|
cmd /c "$vcvarsall" ${{ matrix.arch }}
|
|
- name: configure
|
|
run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../
|
|
- name: make
|
|
run: nmake
|