bump to 19.1.2 (#10)

Co-authored-by: Henrik Böving <[email protected]>
leanprover · Nov 12, 2024 · 8b3216c · 8b3216c
1 parent d89f7b6
commit 8b3216c
Showing 1 changed file with 23 additions and 12 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -21,12 +21,19 @@ jobs:
       matrix:
         include:
           - name: x86_64-linux-gnu
-            os: ubuntu-18.04
-            more-opts: -DCMAKE_C_COMPILER=clang-15 -DCMAKE_CXX_COMPILER=clang++-15 -DCMAKE_INSTALL_RPATH='$ORIGIN/../lib'
+            os: ubuntu-latest
+            more-opts: -DCMAKE_C_COMPILER=clang-19 -DCMAKE_CXX_COMPILER=clang++-19 -DCMAKE_INSTALL_RPATH='$ORIGIN/../lib'
+          - name: aarch64-linux-gnu
+            os: nscloud-ubuntu-22.04-arm64-4x8
+            more-opts: -DCMAKE_C_COMPILER=clang-19 -DCMAKE_CXX_COMPILER=clang++-19 -DCMAKE_INSTALL_RPATH='$ORIGIN/../lib'
           - name: x86_64-apple-darwin
+            os: macos-13  # still x64
+            # ld64.lld: warning: Option `-reexported_symbols_list' is not yet implemented. Stay tuned...
+            more-opts: -DLLVM_USE_LINKER=ld -DCMAKE_INSTALL_RPATH='@loader_path/../lib' -DCMAKE_INSTALL_NAME_DIR='@rpath' -DCMAKE_OSX_DEPLOYMENT_TARGET=10.19
+          - name: aarch64-apple-darwin
             os: macos-latest
             # ld64.lld: warning: Option `-reexported_symbols_list' is not yet implemented. Stay tuned...
-            more-opts: -DLLVM_USE_LINKER=ld -DCMAKE_INSTALL_RPATH='@loader_path/../lib' -DCMAKE_INSTALL_NAME_DIR='@rpath' -DCMAKE_OSX_DEPLOYMENT_TARGET=10.15
+            more-opts: -DLLVM_USE_LINKER=ld -DCMAKE_INSTALL_RPATH='@loader_path/../lib' -DCMAKE_INSTALL_NAME_DIR='@rpath' -DCMAKE_OSX_DEPLOYMENT_TARGET=10.19
           - name: x86_64-w64-windows-gnu
             os: windows-latest
             shell: msys2 {0}
@@ -46,15 +53,19 @@ jobs:
       CCACHE_MAXSIZE: 200M
     steps:
       - uses: actions/checkout@v2
-      - name: Prepare
-        if: matrix.os == 'ubuntu-18.04'
+      - name: Prepare Linux x86
+        if: matrix.os == 'ubuntu-latest'
         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 -- 15
-          sudo apt install clang-15 clang++-15 libc++-15-dev libc++abi-15-dev
+          sudo apt-get install -y gcc-multilib
+      - name: Prepare
+        if: contains(matrix.os, 'ubuntu')
+        run: |
+          sudo apt-get install -y ninja-build lld ccache
+          curl https://apt.llvm.org/llvm.sh | sudo bash -s -- 19
+          sudo apt-get install -y clang-19 libc++-19-dev libc++abi-19-dev
       - name: Prepare
-        if: matrix.os == 'macos-latest'
+        if: startsWith(matrix.os, 'macos')
         run: |
           brew install ninja llvm ccache zstd
           echo "$(brew --prefix)/opt/llvm/bin" >> $GITHUB_PATH
@@ -74,12 +85,12 @@ jobs:
             ${{ matrix.name }}-build
       - name: Build
         run: |
-          git clone -q --depth 1 -b llvmorg-15.0.1 --recursive https://github.com/llvm/llvm-project
+          git clone -q --depth 1 -b llvmorg-19.1.2 --recursive https://github.com/llvm/llvm-project
           pushd llvm-project
           mkdir build
           cd build
           cmake -G Ninja ../llvm -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=$PWD/../../lean-llvm -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ -DLLVM_USE_LINKER=lld\
-            -DLLVM_ENABLE_PROJECTS="llvm;clang;lld;compiler-rt;libcxx;libcxxabi;libunwind" -DLLVM_LINK_LLVM_DYLIB=ON -DLLVM_CCACHE_BUILD=ON\
+            -DLLVM_ENABLE_PROJECTS="llvm;clang;lld;compiler-rt" -DLLVM_LINK_LLVM_DYLIB=ON -DLLVM_CCACHE_BUILD=ON\
             -DLLVM_ENABLE_LIBXML2=OFF -DLLVM_ENABLE_ZSTD=OFF -DLLVM_ENABLE_TERMINFO=OFF -DLLVM_ENABLE_LIBCXX=ON -DLLVM_ENABLE_FFI=OFF\
             `# https://boxbase.org/entries/2018/jun/11/minimal-llvm-build/`\
             -DLLVM_TARGETS_TO_BUILD='AArch64;WebAssembly;X86'\
@@ -98,7 +109,7 @@ jobs:
         run: lean-llvm/bin/clang -v
       - name: CCache stats
         run: ccache -s
-      - uses: actions/upload-artifact@v2
+      - uses: actions/upload-artifact@v4
         with:
           name: lean-llvm-${{ matrix.name }}
           path: '*.tar.*'