build: update to gcc/g++13 (#132)

open-space-collective · Jul 17, 2024 · 2f07f44 · 2f07f44
1 parent aef1ea8
commit 2f07f44
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/docker/development/Dockerfile b/docker/development/Dockerfile
@@ -68,6 +68,14 @@ RUN wget https://apt.llvm.org/llvm-snapshot.gpg.key \
    && apt-get install -y clang-format clang \
    && rm -rf /var/lib/apt/lists/*
 
+## GCC / G++
+
+RUN add-apt-repository ppa:ubuntu-toolchain-r/test \
+   && apt-get update \
+   && apt-get install -y gcc-13 g++-13 \
+   && update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-13 100 \
+   && update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-13 100
+
 ## Python
 
 RUN add-apt-repository ppa:deadsnakes/ppa