mirror of
https://github.com/Z3Prover/z3
synced 2025-04-22 00:26:38 +00:00
Attempt to add Clang-CL to CI build configurations
This commit is contained in:
parent
7c0606057b
commit
d26719f1ed
1 changed files with 23 additions and 0 deletions
23
.github/workflows/msvc-static-build-clang-cl.yml
vendored
Normal file
23
.github/workflows/msvc-static-build-clang-cl.yml
vendored
Normal file
|
@ -0,0 +1,23 @@
|
|||
name: MSVC Clang-CL Static Build
|
||||
|
||||
on:
|
||||
push:
|
||||
pull_request:
|
||||
|
||||
permissions:
|
||||
contents: read # to fetch code (actions/checkout)
|
||||
|
||||
jobs:
|
||||
build:
|
||||
runs-on: windows-2019
|
||||
env:
|
||||
BUILD_TYPE: Release
|
||||
steps:
|
||||
- name: Checkout Repo
|
||||
uses: actions/checkout@v4
|
||||
|
||||
- name: Build
|
||||
run: |
|
||||
cmake -B build -DCMAKE_BUILD_TYPE=${{ env.BUILD_TYPE }} -DZ3_BUILD_LIBZ3_SHARED=OFF -DZ3_BUILD_LIBZ3_MSVC_STATIC=ON -T ClangCL
|
||||
cmake --build build --config ${{ env.BUILD_TYPE }} --parallel
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue