Dockerfile.deploy 319 Bytes
Newer Older
Guillaume Melquiond's avatar
Guillaume Melquiond committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
FROM bench-image

USER root

RUN adduser --disabled-password --gecos '' guest

USER why3

COPY --chown=why3:why3 . why3
WORKDIR /home/why3/why3

RUN eval `opam config env` && \
    ./configure && \
    make -j2

USER root

RUN make install

USER guest
ENV HOME /home/guest
WORKDIR /home/guest

RUN why3 config --detect