From 7a67b6b8bbb2bd8c03b3c3245bdd37065ad35bd2 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Sat, 26 Jan 2019 05:05:37 +0700
Subject: Revert "Added menhir as a build dependency for libvyosconfig" (#41)

---
 docker/Dockerfile | 3 +--
 1 file changed, 1 insertion(+), 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 && \
-- 
cgit v1.2.3