diff options
| author | Wouter Verhelst <wouter@debian.org> | 2018-10-27 18:38:26 +0000 |
|---|---|---|
| committer | Wouter Verhelst <wouter@debian.org> | 2018-10-27 18:38:26 +0000 |
| commit | f0290accd46ee45383b56b9acc9624f5707f6b0e (patch) | |
| tree | 24efe2ca2dc9ad0c123ebc3a5de67d88e43fe371 /ci/docker-image | |
| parent | 964757ef3ad3686df20782acea9b70be007d485c (diff) | |
Make the build fail on (useful) errors
Diffstat (limited to 'ci/docker-image')
| -rw-r--r-- | ci/docker-image/Dockerfile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/ci/docker-image/Dockerfile b/ci/docker-image/Dockerfile new file mode 100644 index 00000000000..c7b874ae38e --- /dev/null +++ b/ci/docker-image/Dockerfile @@ -0,0 +1,11 @@ +FROM debian:stretch +MAINTAINER Wouter Verhelst <wouter@debian.org> +RUN apt-get update +# This creates several layers. This is *ON PURPOSE*. The alternative is +# to have a nearly 2G single layer; pushing that takes multiple hours, +# and pulling that is sloooow too. +RUN apt-get -y install wml make gettext && apt-get clean +RUN apt-get -y install git opencc diffstat && apt-get clean +RUN apt-get -y install libintl-perl libxml-rss-perl wget libtimedate-perl libsoap-lite-perl liblocale-gettext-perl && apt-get clean +RUN apt-get -y install texlive-latex-base texlive-binaries texlive-fonts-recommended && apt-get clean +RUN apt-get -y install debiandoc-sgml python-lxml && apt-get clean |