diff options
| author | Daniil Baturin <daniil@baturin.org> | 2019-01-26 05:05:37 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-26 05:05:37 +0700 |
| commit | 7a67b6b8bbb2bd8c03b3c3245bdd37065ad35bd2 (patch) | |
| tree | 38a7ccf3755aa8bba451a931eaf2c7f2bacb6abf /docker | |
| parent | 48f9bd5697d97a7fd46f55277a076206f1a26933 (diff) | |
| download | vyos-build-7a67b6b8bbb2bd8c03b3c3245bdd37065ad35bd2.tar.gz vyos-build-7a67b6b8bbb2bd8c03b3c3245bdd37065ad35bd2.zip | |
Revert "Added menhir as a build dependency for libvyosconfig" (#41)
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 12f8c324..d951a8ff 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -186,8 +186,7 @@ RUN apt-get update && apt-get install -y \ # Packages needed for libvyosconfig && VyConf RUN apt-get update && apt-get install -y \ - libffi-dev \ - menhir + libffi-dev # Packages needed for libvyosconfig RUN curl https://raw.githubusercontent.com/ocaml/opam/2.0.2/shell/install.sh --output /tmp/opam_install.sh && \ |