From 787dac7cd9322ddd7f0a9f200988270027c1a77f Mon Sep 17 00:00:00 2001 From: David Markowitz <39972741+EmosewaMC@users.noreply.github.com> Date: Fri, 23 Jun 2023 06:49:58 -0700 Subject: [PATCH] Update Dockerfile (#1126) Fixes #1124 --- docker/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index a7d91855..c5638a20 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -1,4 +1,4 @@ -FROM gcc:11 as build +FROM gcc:12 as build WORKDIR /build @@ -40,7 +40,7 @@ RUN echo "Build server" && \ cmake .. -DCMAKE_BUILD_RPATH_USE_ORIGIN=TRUE && \ make -j $BUILD_THREADS -FROM gcc:11 as runtime +FROM gcc:12 as runtime RUN --mount=type=cache,id=runtime-apt-cache,target=/var/cache/apt \ apt update && \