From e04e5faa3fdef75c39cfbdacc6bba03e093634ea Mon Sep 17 00:00:00 2001
From: John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>
Date: Sat, 3 Nov 2018 11:41:35 +0100
Subject: [PATCH] ci: Add Dockerfile for dist-powerpcspe-linux

---
 .../disabled/dist-powerpcspe-linux/Dockerfile | 26 +++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 src/ci/docker/disabled/dist-powerpcspe-linux/Dockerfile

diff --git a/src/ci/docker/disabled/dist-powerpcspe-linux/Dockerfile b/src/ci/docker/disabled/dist-powerpcspe-linux/Dockerfile
new file mode 100644
index 0000000000000..3227819dad54d
--- /dev/null
+++ b/src/ci/docker/disabled/dist-powerpcspe-linux/Dockerfile
@@ -0,0 +1,26 @@
+FROM ubuntu:16.04
+
+RUN apt-get update && apt-get install -y --no-install-recommends \
+  g++ \
+  make \
+  file \
+  curl \
+  ca-certificates \
+  python2.7 \
+  git \
+  cmake \
+  sudo \
+  gdb \
+  xz-utils \
+  g++-powerpc-linux-gnuspe \
+  libssl-dev \
+  pkg-config
+
+
+COPY scripts/sccache.sh /scripts/
+RUN sh /scripts/sccache.sh
+
+ENV HOSTS=powerpc-unknown-linux-gnuspe
+
+ENV RUST_CONFIGURE_ARGS --enable-extended --disable-docs
+ENV SCRIPT python2.7 ../x.py dist --host $HOSTS --target $HOSTS