diff options
Diffstat (limited to 'misc/docker/ubuntu-18.04-amd64')
| -rw-r--r-- | misc/docker/ubuntu-18.04-amd64/Dockerfile | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/misc/docker/ubuntu-18.04-amd64/Dockerfile b/misc/docker/ubuntu-18.04-amd64/Dockerfile index c68d8972..a1d95317 100644 --- a/misc/docker/ubuntu-18.04-amd64/Dockerfile +++ b/misc/docker/ubuntu-18.04-amd64/Dockerfile @@ -4,9 +4,24 @@ 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 \ + autoconf \ ncurses-dev \ - libreadline-dev + libreadline-dev \ + libssh-gcrypt-dev \ + linuxdoc-tools-latex \ + texlive-latex-extra \ + opensp \ + docbook-xsl \ + xsltproc +RUN apt-get -y install \ + git \ + dpkg-dev \ + debhelper \ + apt-utils \ + quilt \ + python3 \ + python3-pip \ + python3-setuptools |