diff options
| author | Nicholas Humfrey <njh@aelius.com> | 2019-01-21 22:25:02 +0000 |
|---|---|---|
| committer | Nicholas Humfrey <njh@aelius.com> | 2019-01-21 22:25:02 +0000 |
| commit | dd16b20071c61d736103fc7bbacd88c71e4266af (patch) | |
| tree | e927bfd2744eb0c022b567005b4b7d9eb2fa8d6f /docker | |
| parent | daaaa3eaf83322cccca1b82b7b6b099b5d2fe085 (diff) | |
| download | vyos-build-dd16b20071c61d736103fc7bbacd88c71e4266af.tar.gz vyos-build-dd16b20071c61d736103fc7bbacd88c71e4266af.zip | |
Added menhir as a build dependency for libvyosconfig
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
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 && \ |