mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Update Windows.yml

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-12-18 19:31:17 -08:00 committed by GitHub
parent 9e3a489a6c
commit c7c007c2c6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 33 additions and 32 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

65
.github/workflows/Windows.yml vendored
View file

@ -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