Manually install gcc-13

vabold · May 19, 2024 · c6db397 · c6db397
1 parent 46fe569
commit c6db397
Showing 1 changed file with 5 additions and 8 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -15,18 +15,15 @@ jobs:
         uses: actions/checkout@v3
         with:
           ref: "refs/pull/${{ github.event.number }}/merge"
-      - name: Install ninja
-        run: sudo apt install ninja-build
+      - name: Install packages
+        run: |
+          sudo add-apt-repository ppa:ubuntu-toolchain-r/test -y
+          sudo apt-get update
+          sudo apt-get install -y ninja-build gcc-13 g++-13
       - name: Install Python
         uses: actions/setup-python@v4
         with:
           python-version: "3.10"
-      - name: Configure G++ version
-        run: |
-          sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-13 10
-          sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-13 10
-          sudo update-alternatives --set gcc "/usr/bin/gcc-13"
-          sudo update-alternatives --set g++ "/usr/bin/g++-13"
       - name: Configure ninja
         run: ./configure.py
       - name: Compile