From 97e0ac54dadc9b5f2bdd6902c1fb93e2e28b93d3 Mon Sep 17 00:00:00 2001 From: Zhang Date: Tue, 13 Aug 2024 15:29:04 +0800 Subject: [PATCH] Override CMAKE__FLAGS instead due to Z3 resets the _INIT variants --- .github/workflows/msvc-static-build-clang-cl.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/msvc-static-build-clang-cl.yml b/.github/workflows/msvc-static-build-clang-cl.yml index 6a4bd720f..341f873c1 100644 --- a/.github/workflows/msvc-static-build-clang-cl.yml +++ b/.github/workflows/msvc-static-build-clang-cl.yml @@ -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