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 COPY scripts/dumb-init.sh /scripts/
  17 RUN sh /scripts/dumb-init.sh
  18
  19 COPY scripts/sccache.sh /scripts/
  20 RUN sh /scripts/sccache.sh
  21
  22 ENTRYPOINT ["/usr/bin/dumb-init", "--"]
  23
  24 ENV RUST_CONFIGURE_ARGS --build=x86_64-unknown-linux-gnu --enable-sanitizers --enable-profiler
  25 ENV SCRIPT python2.7 ../x.py test