2017-08-04 20:32:52 +04:00
|
|
|
FROM $base_image
|
|
|
|
|
|
|
|
|
|
COPY src /home/opam/tezos/src
|
2017-08-10 12:05:44 +04:00
|
|
|
COPY test /home/opam/tezos/test
|
2017-08-04 20:32:52 +04:00
|
|
|
|
|
|
|
|
RUN sudo chown -R opam /home/opam/tezos && \
|
|
|
|
|
echo "PRODUCTION=yes" > /home/opam/tezos/src/Makefile.local && \
|
2017-08-10 12:05:44 +04:00
|
|
|
opam config exec -- make -C tezos/src -j4 && \
|
2017-08-04 20:32:52 +04:00
|
|
|
opam config exec -- make -C tezos/test -j4 build
|
