diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index cffa8621..b27abe39 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -80,7 +80,6 @@ RUN apt-get update && apt-get install -y -t jessie-backports debhelper && \ iptables \ xl2tpd \ libcurl4-openssl-dev \ - libcurl4-openssl-dev \ libkrb5-dev \ libsqlite3-dev \ libssl-dev \ @@ -212,7 +211,8 @@ RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ xml-light \ batteries \ ocaml-protoc \ - ctypes-foreign + ctypes-foreign \ + menhir RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ ctypes @@ -222,11 +222,7 @@ RUN eval $(opam env --root=/opt/opam --set-root) && \ git clone https://github.com/vyos/vyconf.git /tmp/vyconf && \ cd /tmp/vyconf && \ git checkout v0.1 && \ - ./build-setup.sh && \ - ./configure --enable-tests && \ - make && \ - make test && \ - make install + opam pin add vyconf . # Build libvyosconfig RUN eval $(opam env --root=/opt/opam --set-root) && \ |