3 COPY scripts/cross-apt-packages.sh /scripts/
4 RUN sh /scripts/cross-apt-packages.sh
6 COPY scripts/crosstool-ng.sh /scripts/
7 RUN sh /scripts/crosstool-ng.sh
10 COPY cross/install-x86_64-redox.sh /tmp/
11 RUN ./install-x86_64-redox.sh
13 COPY scripts/sccache.sh /scripts/
14 RUN sh /scripts/sccache.sh
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++
21 ENV RUST_CONFIGURE_ARGS --enable-extended
22 ENV SCRIPT python2.7 ../x.py dist --target x86_64-unknown-redox