summaryrefslogtreecommitdiff
path: root/misc/docker/debian-10-amd64/Dockerfile
diff options
context:
space:
mode:
authorMatous Holinka <matous.holinka@nic.cz>2019-11-26 19:33:01 +0100
committerOndrej Zajicek (work) <santiago@crfreenet.org>2019-11-26 19:43:56 +0100
commit92249894b333f7785e62b2f629dca1bbe6597c2f (patch)
tree8e9da0aa9373f1520328e371586385d2670d30c8 /misc/docker/debian-10-amd64/Dockerfile
parent0adfa0ec076196275a3cf034ba3ce82ffbcd2fbd (diff)
CI: Add more build tests
Add more Docker images with distributions (CentOS 8, Debian 10, Fedora 27-31, OpenSUSE 15.0 & 15.1, and Ubuntu 18.04 & 19.04). Fix some issues with older ones.
Diffstat (limited to 'misc/docker/debian-10-amd64/Dockerfile')
-rw-r--r--misc/docker/debian-10-amd64/Dockerfile12
1 files changed, 12 insertions, 0 deletions
diff --git a/misc/docker/debian-10-amd64/Dockerfile b/misc/docker/debian-10-amd64/Dockerfile
new file mode 100644
index 00000000..4991db3e
--- /dev/null
+++ b/misc/docker/debian-10-amd64/Dockerfile
@@ -0,0 +1,12 @@
+FROM debian:buster-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