From d2377b2f481937f38faf68c10e091d631468c8ab Mon Sep 17 00:00:00 2001 From: Enrico Steffinlongo Date: Thu, 10 Nov 2022 17:22:47 +0000 Subject: [PATCH] [WIP] Experimental build using clang 14 --- .github/workflows/pull-request-checks.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index e98c0b30fba..06fd09d3c04 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -258,7 +258,7 @@ jobs: DEBIAN_FRONTEND: noninteractive run: | sudo apt-get update - sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc gdb g++ maven flex bison libxml2-utils dpkg-dev ccache doxygen z3 + sudo apt-get install --no-install-recommends -yq cmake ninja-build gdb clang-14 maven flex bison libxml2-utils dpkg-dev ccache doxygen z3 - name: Confirm z3 solver is available and log the version installed run: z3 --version - name: Download cvc-5 from the releases page and make sure it can be deployed @@ -283,7 +283,7 @@ jobs: run: | mkdir build cd build - cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/gcc -DCMAKE_CXX_COMPILER=/usr/bin/g++ + cmake .. -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/clang-14 -DCMAKE_CXX_COMPILER=/usr/bin/clang++-14 - name: Check that doc task works run: | cd build