1
0
mirror of synced 2024-11-12 02:00:52 +01:00

fix: Do not use custom repo gcc 13 for Ubuntu because it doesn't run on vanilla Ubuntu (#1730)

This commit is contained in:
iTrooz 2024-06-03 10:06:49 +02:00 committed by GitHub
parent 984438e98d
commit 2c00aa5def
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -384,11 +384,6 @@ jobs:
apt update
bash dist/get_deps_debian.sh
apt install software-properties-common -y
add-apt-repository ppa:ubuntu-toolchain-r/test -y
apt update
apt install -y gcc-13 g++-13
- name: ⬇️ Install .NET
uses: actions/setup-dotnet@v4
with:
@ -402,7 +397,7 @@ jobs:
git config --global --add safe.directory '*'
mkdir -p build
cd build
CC=gcc-13 CXX=g++-13 cmake -G "Ninja" \
CC=gcc-12 CXX=g++-12 cmake -G "Ninja" \
-DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} \
-DCMAKE_INSTALL_PREFIX="/usr" \
-DCMAKE_C_COMPILER_LAUNCHER=ccache \