From d26719f1ed2978693c64cecc55f6e10a6c5658aa Mon Sep 17 00:00:00 2001 From: Zhang Date: Mon, 12 Aug 2024 18:25:48 +0800 Subject: [PATCH] Attempt to add Clang-CL to CI build configurations --- .../workflows/msvc-static-build-clang-cl.yml | 23 +++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 .github/workflows/msvc-static-build-clang-cl.yml diff --git a/.github/workflows/msvc-static-build-clang-cl.yml b/.github/workflows/msvc-static-build-clang-cl.yml new file mode 100644 index 000000000..71502825f --- /dev/null +++ b/.github/workflows/msvc-static-build-clang-cl.yml @@ -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 +