From 3a2e5c87b3f2a301fe284a766da9495e92ffbc09 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Fri, 26 Aug 2022 16:15:17 +0100 Subject: [PATCH] Update Dockerfile for uring 0.4 --- Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Dockerfile b/Dockerfile index 70939a277..e5d8069aa 100644 --- a/Dockerfile +++ b/Dockerfile @@ -3,6 +3,8 @@ FROM ocaml/opam:debian-11-ocaml-5.0 RUN sudo ln -sf /usr/bin/opam-2.1 /usr/bin/opam # Add the alpha repository with some required preview versions of dependencies: RUN opam remote add alpha git+https://github.com/kit-ty-kate/opam-alpha-repository.git +# Ensure opam-repository is up-to-date: +RUN cd opam-repository && git pull origin 42a177d7ac37cd347aab366a90d20469203fc926 && opam update # Install utop for interactive use: RUN opam install utop fmt # Install Eio's dependencies (adding just the opam files first to help with caching):