File tree Expand file tree Collapse file tree 1 file changed +11
-7
lines changed Expand file tree Collapse file tree 1 file changed +11
-7
lines changed Original file line number Diff line number Diff line change 1515 DEFAULT_CXX_STANDARD : 20
1616 DEFAULT_LLVM_VERSION : 21
1717 DEFAULT_GCC_VERSION : 14
18- MULL_LLVM_VERSION : 18
19- MULL_VERSION : 0.26.1
18+ MULL_LLVM_MAJOR_VERSION : 19
19+ MULL_LLVM_VERSION : 19.1.1
20+ MULL_VERSION : 0.27.1
2021
2122concurrency :
2223 group : ${{ github.head_ref || github.run_id }}
@@ -444,12 +445,15 @@ jobs:
444445
445446 - name : Install build tools
446447 run : |
447- sudo apt update && sudo apt install -y clang-${{env.MULL_LLVM_VERSION}} ninja-build python3-venv python3-pip
448+ wget https://apt.llvm.org/llvm.sh && chmod +x llvm.sh && sudo ./llvm.sh ${{env.MULL_LLVM_MAJOR_VERSION}}
449+ sudo apt install -y ninja-build
448450
449451 - name : Install mull
452+ env :
453+ mull-pkg : Mull-${{env.MULL_LLVM_MAJOR_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}-ubuntu-amd64-24.04.deb
450454 run : |
451- wget https://github.com/mull-project/mull/releases/download/${{env.MULL_VERSION}}/Mull- ${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-x86_64-24.04.deb
452- sudo dpkg -i Mull- ${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-x86_64-24.04.deb
455+ wget https://github.com/mull-project/mull/releases/download/${{env.MULL_VERSION}}/${{env.mull-pkg}}
456+ sudo dpkg -i ${{env.mull-pkg}}
453457
454458 - name : Restore CPM cache
455459 env :
@@ -464,8 +468,8 @@ jobs:
464468
465469 - name : Configure CMake
466470 env :
467- CC : " /usr/lib/llvm-${{env.MULL_LLVM_VERSION }}/bin/clang"
468- CXX : " /usr/lib/llvm-${{env.MULL_LLVM_VERSION }}/bin/clang++"
471+ CC : " /usr/lib/llvm-${{env.MULL_LLVM_MAJOR_VERSION }}/bin/clang"
472+ CXX : " /usr/lib/llvm-${{env.MULL_LLVM_MAJOR_VERSION }}/bin/clang++"
469473 run : cmake -B ${{github.workspace}}/build -DCMAKE_CXX_STANDARD=${{env.DEFAULT_CXX_STANDARD}} -DCPM_SOURCE_CACHE=~/cpm-cache
470474
471475 - name : Save CPM cache
You can’t perform that action at this time.
0 commit comments