diff --git a/tier2/Dockerfile b/tier2/Dockerfile index a3f514d4..a889d93a 100644 --- a/tier2/Dockerfile +++ b/tier2/Dockerfile @@ -14,11 +14,11 @@ RUN apt-get update && \ runuser -u judge -- opam clean && rm -rf ~judge/.opam/repo \ ) && \ if [ "$(arch)" = x86_64 ]; then PYPY_ARCH=linux64; else PYPY_ARCH="$(arch)"; fi && \ - mkdir /opt/pypy2 && curl -L "$(curl https://www.pypy.org/download.html | grep "/pypy2.*$PYPY_ARCH" | head -n1 | cut -d'"' -f4)" | \ + mkdir /opt/pypy2 && curl -L "$(curl https://pypy.org/download.html | grep "/pypy2.*$PYPY_ARCH" | head -n1 | cut -d'"' -f4)" | \ tar xj -C /opt/pypy2 --strip-components=1 && /opt/pypy2/bin/pypy -mcompileall && \ chmod a+rx /opt/pypy2/lib /opt/pypy2/lib/*.so* && \ rm -f /opt/pypy2/bin/python* && \ - mkdir /opt/pypy3 && curl -L "$(curl https://www.pypy.org/download.html | grep "/pypy3.*$PYPY_ARCH" | head -n1 | cut -d'"' -f4)" | \ + mkdir /opt/pypy3 && curl -L "$(curl https://pypy.org/download.html | grep "/pypy3.*$PYPY_ARCH" | head -n1 | cut -d'"' -f4)" | \ tar xj -C /opt/pypy3 --strip-components=1 && /opt/pypy3/bin/pypy -mcompileall && \ rm -f /opt/pypy3/bin/python* && \ runuser judge -c 'curl https://sh.rustup.rs -sSf | sh -s -- -y' && \