diff --git a/.docker/Dockerfile b/.docker/Dockerfile index df8ef0a9f18f5754eae33686e832bd88f37da9de..320a6e21ee770a360d0f71ccb8a1cc7cf74e7ca0 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -7,7 +7,8 @@ RUN apt-get install -y doxygen graphviz RUN apt-get install -y clang-format-11 clang-tidy-11 RUN apt-get install -y python3-pip RUN apt-get install -y git -RUN apt-get install -y curl +RUN apt-get install -y curl zip unzip tar + RUN apt-get install -y openjdk-11-jdk-headless