src/ci/docker/x86_64-gnu/Dockerfile

   1 FROM ubuntu:16.04
   2
   3 RUN apt-get update && apt-get install -y --no-install-recommends \
   4   g++ \
   5   make \
   6   file \
   7   curl \
   8   ca-certificates \
   9   python2.7 \
  10   git \
  11   cmake \
  12   sudo \
  13   gdb \
  14   xz-utils
  15
  16 ENV SCCACHE_DIGEST=7237e38e029342fa27b7ac25412cb9d52554008b12389727320bd533fd7f05b6a96d55485f305caf95e5c8f5f97c3313e10012ccad3e752aba2518f3522ba783
  17 RUN curl -L https://api.pub.build.mozilla.org/tooltool/sha512/$SCCACHE_DIGEST | \
  18       tar xJf - -C /usr/local/bin --strip-components=1
  19
  20 RUN curl -OL https://github.com/Yelp/dumb-init/releases/download/v1.2.0/dumb-init_1.2.0_amd64.deb && \
  21     dpkg -i dumb-init_*.deb && \
  22     rm dumb-init_*.deb
  23 ENTRYPOINT ["/usr/bin/dumb-init", "--"]
  24
  25 ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu --enable-sanitizers
  26 ENV SCRIPT python2.7 ../x.py test && python2.7 ../x.py dist