diff options
| author | hagbard-01 <39653662+hagbard-01@users.noreply.github.com> | 2019-01-25 12:19:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-25 12:19:03 -0800 |
| commit | 48f9bd5697d97a7fd46f55277a076206f1a26933 (patch) | |
| tree | 11bcc15f9ba88e97064424b75ff4a875e00388e6 | |
| parent | 48b855d19f6a89523df9e667d22aac3a5bc4af3b (diff) | |
| parent | dd16b20071c61d736103fc7bbacd88c71e4266af (diff) | |
| download | vyos-build-48f9bd5697d97a7fd46f55277a076206f1a26933.tar.gz vyos-build-48f9bd5697d97a7fd46f55277a076206f1a26933.zip | |
Merge pull request #39 from njh/menhir
Added menhir as a build dependency for libvyosconfig
| -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 && \ |