Enable EHsc explicitly when using ClangCL due to it being default tur…

…ned-off
Z3Prover · Aug 13, 2024 · 152cfda · 152cfda
1 parent 6ecce4c
commit 152cfda
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
+        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