ligo/scripts/Dockerfile.build.in
Grégoire Henry eed9e7581d Update CI
2017-08-04 18:32:52 +02:00

13 lines
346 B
Docker

FROM $base_image
COPY src /home/opam/tezos/src
RUN sudo chown -R opam /home/opam/tezos && \
echo "PRODUCTION=yes" > /home/opam/tezos/src/Makefile.local && \
opam config exec -- make -C tezos/src -j4
COPY test /home/opam/tezos/test
RUN sudo chown -R opam /home/opam/tezos/test && \
opam config exec -- make -C tezos/test -j4 build