2017-01-22 04:59:18 +04:00
|
|
|
FROM $base_name:$base_version
|
2016-11-23 13:54:22 +04:00
|
|
|
|
2017-03-09 17:43:59 +04:00
|
|
|
COPY src /home/opam/tezos/src
|
|
|
|
|
2017-01-22 04:59:18 +04:00
|
|
|
RUN sudo chown -R opam /home/opam/tezos && \
|
2017-03-09 17:43:59 +04:00
|
|
|
opam config exec -- make -C tezos/src -j4 && \
|
2017-01-22 04:59:18 +04:00
|
|
|
mkdir bin && \
|
|
|
|
cp tezos/tezos-* bin
|