diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 9b5e3f7f..e044a025 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -5,10 +5,13 @@ RUN apt update && apt install -y gnupg wget software-properties-common RUN wget -O - https://apt.kitware.com/keys/kitware-archive-latest.asc 2>/dev/null | gpg --dearmor - | tee /etc/apt/trusted.gpg.d/kitware.gpg >/dev/null RUN apt-add-repository 'deb https://apt.kitware.com/ubuntu/ jammy main' RUN apt install -y \ + gcc-11 \ + g++-11 \ gcc-12 \ g++-12 \ gcc-13 \ g++-13 \ + clang-15 \ clang-16 \ clang-17 \ git \ diff --git a/.docker/build-linux.sh b/.docker/build-linux.sh index 6db5e2ca..e42c8571 100644 --- a/.docker/build-linux.sh +++ b/.docker/build-linux.sh @@ -35,14 +35,14 @@ case "-$BUILD_TYPE-" in export COMPILER=gcc ;; *-oldgcc-*) - export CC=gcc-12 CXX=g++-12 + export CC=gcc-11 CXX=g++-11 ;; *-clang-*) export CC=clang-17 CXX=clang++-17 export COMPILER=clang ;; *-oldclang-*) - export CC=clang-16 CXX=clang++-16 + export CC=clang-15 CXX=clang++-15 ;; *) echo "missing compiler in: $BUILD_TYPE"