diff options
Diffstat (limited to 'src/ci/docker/host-x86_64/x86_64-gnu/Dockerfile')
-rw-r--r-- | src/ci/docker/host-x86_64/x86_64-gnu/Dockerfile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu/Dockerfile b/src/ci/docker/host-x86_64/x86_64-gnu/Dockerfile new file mode 100644 index 000000000..88c182a4d --- /dev/null +++ b/src/ci/docker/host-x86_64/x86_64-gnu/Dockerfile @@ -0,0 +1,28 @@ +FROM ubuntu:20.04 + +ARG DEBIAN_FRONTEND=noninteractive +RUN apt-get update && apt-get install -y --no-install-recommends \ + g++ \ + make \ + ninja-build \ + file \ + curl \ + ca-certificates \ + python3 \ + git \ + cmake \ + sudo \ + gdb \ + libssl-dev \ + pkg-config \ + xz-utils + +COPY scripts/sccache.sh /scripts/ +RUN sh /scripts/sccache.sh + +ENV RUST_CONFIGURE_ARGS \ + --build=x86_64-unknown-linux-gnu \ + --enable-sanitizers \ + --enable-profiler \ + --enable-compiler-docs +ENV SCRIPT python3 ../x.py --stage 2 test |