diff --git a/docker/domserver/Dockerfile b/docker/domserver/Dockerfile index 7c92664d..5272ffda 100644 --- a/docker/domserver/Dockerfile +++ b/docker/domserver/Dockerfile @@ -6,7 +6,7 @@ ENV DEBIAN_FRONTEND=noninteractive # Install required packages for build of domserver RUN apt update \ && apt install --no-install-recommends --no-install-suggests -y \ - autoconf automake git \ + autoconf automake git pkg-config \ gcc g++ make acl zip unzip \ php-cli php-zip \ php-gd php-curl php-mysql php-json php-intl \ diff --git a/docker/judgehost/Dockerfile b/docker/judgehost/Dockerfile index 0f06dcd9..18fcd179 100644 --- a/docker/judgehost/Dockerfile +++ b/docker/judgehost/Dockerfile @@ -13,7 +13,7 @@ ENV DEBIAN_FRONTEND=noninteractive \ # Install required packages for running of judgehost RUN apt update \ && apt install --no-install-recommends --no-install-suggests -y \ - dumb-init \ + dumb-init pkg-config \ acl lsof zip unzip supervisor sudo procps libcgroup2 \ php-cli php-zip php-gd php-curl php-mysql php-json \ php-gmp php-xml php-mbstring python3 \