From dd16b20071c61d736103fc7bbacd88c71e4266af Mon Sep 17 00:00:00 2001 From: Nicholas Humfrey Date: Mon, 21 Jan 2019 22:25:02 +0000 Subject: Added menhir as a build dependency for libvyosconfig --- docker/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'docker') diff --git a/docker/Dockerfile b/docker/Dockerfile index d951a8ff..12f8c324 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -186,7 +186,8 @@ RUN apt-get update && apt-get install -y \ # Packages needed for libvyosconfig && VyConf RUN apt-get update && apt-get install -y \ - libffi-dev + libffi-dev \ + menhir # Packages needed for libvyosconfig RUN curl https://raw.githubusercontent.com/ocaml/opam/2.0.2/shell/install.sh --output /tmp/opam_install.sh && \ -- cgit v1.2.3