diff options
author | Matous Holinka <matous.holinka@nic.cz> | 2019-11-26 19:33:01 +0100 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-11-26 19:43:56 +0100 |
commit | 92249894b333f7785e62b2f629dca1bbe6597c2f (patch) | |
tree | 8e9da0aa9373f1520328e371586385d2670d30c8 /misc/docker/debian-10-i386/Dockerfile | |
parent | 0adfa0ec076196275a3cf034ba3ce82ffbcd2fbd (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-i386/Dockerfile')
-rw-r--r-- | misc/docker/debian-10-i386/Dockerfile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/misc/docker/debian-10-i386/Dockerfile b/misc/docker/debian-10-i386/Dockerfile new file mode 100644 index 00000000..73e70750 --- /dev/null +++ b/misc/docker/debian-10-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 |