Use latest opam version

This commit is contained in:
Daniil Baturin 2020-02-25 06:04:32 +07:00 committed by GitHub
parent 968096ebca
commit e7fb2a32eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -113,7 +113,7 @@ RUN dpkg-reconfigure ca-certificates; \
# Installing OCAML needed to compile libvyosconfig
RUN curl https://raw.githubusercontent.com/ocaml/opam/2.0.2/shell/install.sh \
RUN curl https://raw.githubusercontent.com/ocaml/opam/2.0.6/shell/install.sh \
--output /tmp/opam_install.sh --retry 10 --retry-delay 5 && \
sed -i 's/read BINDIR/BINDIR=""/' /tmp/opam_install.sh && sh /tmp/opam_install.sh && \
opam init --root=/opt/opam --comp=4.09.0 --disable-sandboxing