From 3e051f8f122d5780104c5b3af3cc69fa3f046a03 Mon Sep 17 00:00:00 2001 From: Christian Breunig Date: Sat, 11 Mar 2023 20:28:27 +0100 Subject: Docker: T5076: merge opam re package installation with other packages --- docker/Dockerfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 14973dfd..719aa484 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -130,9 +130,7 @@ RUN eval $(opam env --root=/opt/opam --set-root) && \ opam pin add pcre https://github.com/mmottl/pcre-ocaml.git#0c4ca03a -y RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ - re - -RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \ + re \ num \ ctypes \ ctypes-foreign \ -- cgit v1.2.3