ligo/scripts/Dockerfile.build.in
Grégoire Henry 3eddca508b CI: use compatible options for diff.
Also install `ocp-indent` and embeds `.ocp-indent` in the docker
image.
2017-11-14 05:35:40 +01:00

12 lines
267 B
Docker

FROM $base_image
COPY src tezos/src
COPY test tezos/test
COPY scripts tezos/scripts
COPY Makefile jbuild .ocp-indent tezos/
RUN sudo chown -R opam /home/opam/tezos && \
cd tezos && \
opam config exec -- make all && \
opam config exec -- make build-test