summaryrefslogtreecommitdiff
path: root/misc/docker/debian-9-i386/Dockerfile
diff options
context:
space:
mode:
authorMichal 'vorner' Vaner <michal.vaner@nic.cz>2017-09-04 13:30:13 +0200
committerMichal 'vorner' Vaner <michal.vaner@nic.cz>2017-09-04 13:30:13 +0200
commit96eace1ea70d7c2bc13672fbeba104d34d8ede4c (patch)
treec01b31b700a64687e97efb24a23cdffd41259010 /misc/docker/debian-9-i386/Dockerfile
parent08b6a617e862ffc7b7460abb79fe4c198806517c (diff)
parent5c4dfe0c30e5516fac73e6ed8455af2245ebc62a (diff)
Merge branch 'gitlab-ci'
Diffstat (limited to 'misc/docker/debian-9-i386/Dockerfile')
-rw-r--r--misc/docker/debian-9-i386/Dockerfile12
1 files changed, 12 insertions, 0 deletions
diff --git a/misc/docker/debian-9-i386/Dockerfile b/misc/docker/debian-9-i386/Dockerfile
new file mode 100644
index 00000000..73e70750
--- /dev/null
+++ b/misc/docker/debian-9-i386/Dockerfile
@@ -0,0 +1,12 @@
+FROM i386/debian:stretch-slim
+ENV DEBIAN_FRONTEND noninteractive
+RUN sed -i 's/deb.debian.org/ftp.cz.debian.org/' /etc/apt/sources.list
+RUN apt-get -y update
+RUN apt-get -y upgrade
+RUN apt-get -y install \
+ autoconf \
+ build-essential \
+ flex \
+ bison \
+ ncurses-dev \
+ libreadline-dev