FROM rocq/rocq-prover:9.0
WORKDIR /
COPY --chown=rocq . sure_distrib
WORKDIR sure_distrib
USER rocq:rocq
RUN make clean && make -j4
RUN cd extract && make
