diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 6f962dbad58ec93a2e90a2d4f97b36daa712392e..f7634de654b2431e4e8a5a7a5db5838015a63d65 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -4,6 +4,6 @@ RUN apt-get update && apt-get install -y cmake git python3-pip curl # Dirty workaround for java not linking to the correct manpage directory (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199) RUN mkdir -p /usr/share/man/man1 -RUN apt-get install -y openjdk-11-jdk-headless +RUN apt-get install -y openjdk-17-jdk-headless RUN pip3 install conan