diff --git a/tier1/Dockerfile b/tier1/Dockerfile index af6cdbc7..ccd0814e 100644 --- a/tier1/Dockerfile +++ b/tier1/Dockerfile @@ -9,7 +9,7 @@ RUN echo deb http://deb.debian.org/debian/ bullseye main > /etc/apt/sources.list python2 fp-compiler libxtst6 tini ca-certificates-java openjdk-8-jdk-headless openjdk-8-jre-headless \ $([ "$(arch)" = aarch64 ] && echo binutils-arm-linux-gnueabihf) && \ mkdir -p /etc/perl && \ - rm -rf /var/lib/apt/lists/* && \ + apt-get clean && rm -rf /var/lib/apt/lists/* && \ useradd -m judge ENTRYPOINT ["/usr/bin/tini", "/code/run"] diff --git a/tier2/Dockerfile b/tier2/Dockerfile index cc33733c..d6399d1a 100644 --- a/tier2/Dockerfile +++ b/tier2/Dockerfile @@ -5,8 +5,6 @@ RUN apt-get update && \ jq apt-transport-https dirmngr gnupg ca-certificates xz-utils \ $([ "$(arch)" = x86_64 ] && echo libc6-dev-i386) \ openjdk-22-jdk-headless clang llvm ghc golang racket ruby scala nasm chicken-bin && \ - ls /usr/lib/jvm && \ - ls /usr/lib/jvm/java-22* && \ ( export OPAMYES=1 OPAMJOBS=$(($(nproc) + 2)); \ apt-get install -y --no-install-recommends make m4 patch unzip libgmp-dev && \ bash -c 'echo | sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --no-backup' && \ @@ -54,8 +52,6 @@ RUN apt-get update && \ rm -rf roslyn/ && \ apt-get install -y --no-install-recommends mono-devel ./mono-roslyn_no_conflict.deb mono-vbnc fsharp v8dmoj && \ rm -f *.deb) && \ - ls /usr/lib/jvm && \ - ls /usr/lib/jvm/java-22* && \ - rm -rf /var/lib/apt/lists/* + apt-get clean && rm -rf /var/lib/apt/lists/* ENV PATH="/opt/dlang/linux/bin64:/home/judge/.cargo/bin:/opt/pypy2/bin:/opt/pypy3/bin:/opt/dart-sdk/bin:${PATH}" diff --git a/tier3/Dockerfile b/tier3/Dockerfile index f8d5454e..0e86a6a7 100644 --- a/tier3/Dockerfile +++ b/tier3/Dockerfile @@ -35,6 +35,7 @@ RUN (cd /opt && \ jq -r '[.[] | select(.prerelease | not) | .assets | flatten | .[] | select((.name | startswith("lean-")) and (.name | endswith("-linux.zip"))) | .browser_download_url][0]')" && \ unzip lean.zip && \ mv lean-*/* /opt/lean && \ - rm -rf lean.zip lean-*; fi + rm -rf lean.zip lean-*; fi && \ + apt-get clean && rm -rf /var/lib/apt/lists/* ENV PATH "/opt/tprolog:/opt/groovy/bin:/opt/kotlin/bin:${PATH}:/opt/swift/usr/bin:/opt/zig:/opt/lean/bin"