update to LLVM 15.0.1

leanprover · Sep 25, 2022 · 31fff4c · 31fff4c
1 parent 3bbd5c8
commit 31fff4c
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -3,7 +3,7 @@ name: Build LLVM
 on:
   push:
     branches:
-      - main
+      - '*'
     tags:
       - '*'
   pull_request:
@@ -22,7 +22,7 @@ jobs:
         include:
           - name: x86_64-linux-gnu
             os: ubuntu-18.04
-            more-opts: -DCMAKE_C_COMPILER=clang-14 -DCMAKE_CXX_COMPILER=clang++-14 -DCMAKE_INSTALL_RPATH='$ORIGIN/../lib'
+            more-opts: -DCMAKE_C_COMPILER=clang-15 -DCMAKE_CXX_COMPILER=clang++-15 -DCMAKE_INSTALL_RPATH='$ORIGIN/../lib'
           - name: x86_64-apple-darwin
             os: macos-latest
             # ld64.lld: warning: Option `-reexported_symbols_list' is not yet implemented. Stay tuned...
@@ -51,8 +51,8 @@ jobs:
         run: |
           # multilib necessary for building compiler-rt
           sudo apt install ninja-build gcc-multilib lld ccache
-          curl https://apt.llvm.org/llvm.sh | sudo bash -s -- 14
-          sudo apt install clang-14 clang++-14 libc++-14-dev libc++abi-14-dev
+          curl https://apt.llvm.org/llvm.sh | sudo bash -s -- 15
+          sudo apt install clang-15 clang++-15 libc++-15-dev libc++abi-15-dev
       - name: Prepare
         if: matrix.os == 'macos-latest'
         run: |
@@ -74,7 +74,7 @@ jobs:
             ${{ matrix.name }}-build
       - name: Build
         run: |
-          git clone -q --depth 1 -b llvmorg-14.0.0 --recursive https://github.com/llvm/llvm-project
+          git clone -q --depth 1 -b llvmorg-15.0.1 --recursive https://github.com/llvm/llvm-project
           pushd llvm-project
           if [[ '${{ matrix.os }}' == ubuntu-* ]]; then
             # shrug