summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docker/Dockerfile9
1 files changed, 3 insertions, 6 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile
index d951a8ff..e77cb540 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -208,7 +208,8 @@ RUN curl https://raw.githubusercontent.com/ocaml/opam/2.0.2/shell/install.sh --o
xml-light \
batteries \
ocaml-protoc \
- ctypes-foreign
+ ctypes-foreign \
+ menhir
RUN eval $(opam env) && opam install -y \
ctypes
@@ -218,11 +219,7 @@ RUN eval $(opam env) && \
git clone https://github.com/vyos/vyconf.git && \
cd vyconf && \
git checkout 0f121c12a84200 && \
- ./build-setup.sh && \
- ./configure --enable-tests && \
- make && \
- make test && \
- make install
+ opam pin add vyconf.
# Build libvyosconfig
RUN eval $(opam env) && \