1FROM debian:stretch
2
3RUN apt-get update && apt-get install -y --no-install-recommends \
4        curl ca-certificates \
5        gcc libc6-dev \
6        gcc-sparc64-linux-gnu libc6-dev-sparc64-cross \
7        qemu-system-sparc64 openbios-sparc seabios ipxe-qemu \
8        p7zip-full cpio linux-libc-dev-sparc64-cross linux-headers-4.9.0-3-common
9
10# Put linux/module.h into the right spot as it is not shipped by debian
11RUN cp /usr/src/linux-headers-4.9.0-3-common/include/uapi/linux/module.h /usr/sparc64-linux-gnu/include/linux/
12
13COPY linux-sparc64.sh /
14RUN bash /linux-sparc64.sh
15
16COPY test-runner-linux /
17
18ENV CARGO_TARGET_SPARC64_UNKNOWN_LINUX_GNU_LINKER=sparc64-linux-gnu-gcc \
19    CARGO_TARGET_SPARC64_UNKNOWN_LINUX_GNU_RUNNER="/test-runner-linux sparc64" \
20    CC_sparc64_unknown_linux_gnu=sparc64-linux-gnu-gcc \
21    PATH=$PATH:/rust/bin
22