diff --git a/tier2/Dockerfile b/tier2/Dockerfile index fc56b525..0d553085 100644 --- a/tier2/Dockerfile +++ b/tier2/Dockerfile @@ -4,7 +4,7 @@ RUN apt-get update && \ apt-get install -y --no-install-recommends \ 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 && \ + openjdk-22-jdk-headless clang llvm ghc golang"$([ "$(arch)" = aarch64 ] && echo -1.22)" racket ruby scala nasm chicken-bin && \ ( export OPAMYES=1 OPAMJOBS=$(($(nproc) + 2)); \ apt-get install -y --no-install-recommends make m4 patch unzip libgmp-dev pkg-config && \ bash -c 'echo | sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --no-backup' && \