mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-22 08:17:37 +00:00
Code Activity

Override CMAKE_<LANG>_FLAGS instead due to Z3 resets the _INIT variants

Browse source
This commit is contained in:
Zhang 2024-08-13 15:29:04 +08:00
parent 152cfda30e
commit 97e0ac54da
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 -DCMAKE_C_FLAGS_INIT="/EHsc" -DCMAKE_CXX_FLAGS_INIT="/EHsc"
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="/EHsc" -DCMAKE_CXX_FLAGS="/EHsc"
cmake --build build --config ${{ env.BUILD_TYPE }} --parallel