2016-10-11 21:21:40 +02:00
|
|
|
FROM ubuntu:16.04
|
|
|
|
|
|
|
|
RUN apt-get update && apt-get install -y --no-install-recommends \
|
|
|
|
g++ \
|
|
|
|
make \
|
|
|
|
file \
|
|
|
|
curl \
|
|
|
|
ca-certificates \
|
|
|
|
python2.7 \
|
|
|
|
git \
|
|
|
|
cmake \
|
|
|
|
sudo \
|
2016-12-31 04:50:57 +01:00
|
|
|
gdb \
|
2016-10-11 21:21:40 +02:00
|
|
|
xz-utils \
|
2016-12-31 04:50:57 +01:00
|
|
|
g++-arm-linux-gnueabi
|
2016-10-11 21:21:40 +02:00
|
|
|
|
2016-12-31 04:50:57 +01:00
|
|
|
ENV SCCACHE_DIGEST=7237e38e029342fa27b7ac25412cb9d52554008b12389727320bd533fd7f05b6a96d55485f305caf95e5c8f5f97c3313e10012ccad3e752aba2518f3522ba783
|
|
|
|
RUN curl -L https://api.pub.build.mozilla.org/tooltool/sha512/$SCCACHE_DIGEST | \
|
|
|
|
tar xJf - -C /usr/local/bin --strip-components=1
|
2016-10-11 21:21:40 +02:00
|
|
|
|
2016-12-13 05:01:13 +01:00
|
|
|
RUN curl -OL https://github.com/Yelp/dumb-init/releases/download/v1.2.0/dumb-init_1.2.0_amd64.deb && \
|
|
|
|
dpkg -i dumb-init_*.deb && \
|
|
|
|
rm dumb-init_*.deb
|
|
|
|
ENTRYPOINT ["/usr/bin/dumb-init", "--"]
|
|
|
|
|
2016-12-31 04:50:57 +01:00
|
|
|
ENV RUST_CONFIGURE_ARGS --host=arm-unknown-linux-gnueabi
|
2017-01-01 02:42:40 +01:00
|
|
|
ENV SCRIPT \
|
|
|
|
python2.7 ../x.py dist \
|
|
|
|
--host arm-unknown-linux-gnueabi \
|
|
|
|
--target arm-unknown-linux-gnueabi
|