diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 34124407..03f17890 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -173,6 +173,13 @@ RUN apt-get update && apt-get install -y \ libnetfilter-cttimeout-dev \ libnetfilter-queue-dev +# Packages needed for libvyosconfig +RUN apt-get update && apt-get install -y \ + libffi-dev \ + ocaml-findlib \ + opam \ + menhir + # Update live-build RUN echo 'deb http://ftp.debian.org/debian stretch main' | tee -a /etc/apt/sources.list.d/stretch.list &&\ apt-get update &&\ |