diff --git a/docker/judgehost/Dockerfile b/docker/judgehost/Dockerfile index 9211496..4f6d6b2 100644 --- a/docker/judgehost/Dockerfile +++ b/docker/judgehost/Dockerfile @@ -14,7 +14,7 @@ ENV DEBIAN_FRONTEND=noninteractive \ RUN apt update \ && apt install --no-install-recommends --no-install-suggests -y \ dumb-init \ - acl zip unzip supervisor sudo procps libcgroup1 \ + acl zip unzip supervisor sudo procps libcgroup-dev \ php-cli php-zip php-gd php-curl php-mysql php-json \ php-gmp php-xml php-mbstring python3 \ gcc g++ default-jre-headless default-jdk ghc fp-compiler \