mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

Enable EHsc explicitly when using ClangCL due to it being default turned-off

Browse source
This commit is contained in:
Zhang 2024-08-13 11:09:37 +08:00
parent 6ecce4c379
commit 152cfda30e
No known key found for this signature in database
GPG key ID: C9078243054CE41C
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/msvc-static-build-clang-cl.yml vendored
View file

@ -18,6 +18,6 @@ jobs:
- 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 -B build -DCMAKE_BUILD_TYPE=${{ env.BUILD_TYPE }} -DZ3_BUILD_LIBZ3_SHARED=OFF -DZ3_BUILD_LIBZ3_MSVC_STATIC=ON -T ClangCL -DCMAKE_C_FLAGS_INIT="/EHsc" -DCMAKE_CXX_FLAGS_INIT="/EHsc"
cmake --build build --config ${{ env.BUILD_TYPE }} --parallel