src/ci/docker/host-x86_64/disabled/dist-x86_64-redox/Dockerfile

   1 FROM ubuntu:16.04
   2
   3 COPY scripts/cross-apt-packages.sh /scripts/
   4 RUN sh /scripts/cross-apt-packages.sh
   5
   6 COPY scripts/crosstool-ng.sh /scripts/
   7 RUN sh /scripts/crosstool-ng.sh
   8
   9 WORKDIR /tmp
  10 COPY host-x86_64/dist-various-1/install-x86_64-redox.sh /scripts/
  11 RUN sh /scripts/install-x86_64-redox.sh
  12
  13 COPY scripts/sccache.sh /scripts/
  14 RUN sh /scripts/sccache.sh
  15
  16 ENV \
  17     AR_x86_64_unknown_redox=x86_64-unknown-redox-ar \
  18     CC_x86_64_unknown_redox=x86_64-unknown-redox-gcc \
  19     CXX_x86_64_unknown_redox=x86_64-unknown-redox-g++
  20
  21 ENV RUST_CONFIGURE_ARGS --enable-extended
  22 ENV SCRIPT python3 ../x.py dist --host='' --target x86_64-unknown-redox