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

Update Windows.yml

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-12-18 20:20:21 -08:00 committed by GitHub
parent ea44c110bb
commit bb8ed43cdb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -38,12 +38,10 @@ jobs:
- name: cmd3
if: ${{ matrix.cmd3 }}
run: ${{ matrix.cmd3 }}
- name: vscmd
uses: seanmiddleditch/gha-setup-vsdevenv@v4
with:
arch: $${ matrix.arch }}
- name: cmake
uses: lukka/get-cmake@latest
- 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