# TLC, the TLA+ model checker, for gate/model/check.sh: Java by digest, the TLA+ tools
# release v1.7.4 (2024-08-05) by its SHA-256, so the build fails if either changes.
FROM eclipse-temurin:21-jre@sha256:227118764cccd3c3294617061aaa93a08309c63a395eefa83e6b35032992ea99
ADD --checksum=sha256:936a262061c914694dfd669a543be24573c45d5aa0ff20a8b96b23d01e050e88 \
    https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/tla2tools.jar /opt/tla2tools.jar
RUN chmod 644 /opt/tla2tools.jar
USER 65534:65534
WORKDIR /tmp