judge-server
judge-server copied to clipboard
Upgrade Zig to version 0.8.1
The current version is Zig 0.6.0 (released April 2020). Update to Zig 0.8.1 (released Sept 2021).
Also, update the test program because it may no longer compile.
- Let's wait until https://github.com/DMOJ/online-judge/issues/1767 is closed.
- All old Zig submissions must be locked because Zig 0.8.1 can't compile Zig 0.6.0 code.
FROM dmoj/runtimes-tier1
ARG TAG=master
RUN mkdir /judge && cd /judge &&
curl -L https://github.com/DMOJ/judge/archive/"${TAG}".tar.gz | tar -xz --strip-components=1 &&
pip3 install -e . &&
runuser -u judge -w PATH -- dmoj-autoconf -V > /judge-runtime-paths.yml &&
echo ' crt_x86_in_lib32: true' >> /judge-runtime-paths.yml
ENTRYPOINT ["/judge/.docker/entry"]