Docker: T5076: merge opam re package installation with other packages

This commit is contained in:
Christian Breunig 2023-03-11 20:28:27 +01:00
parent bc05dca561
commit 3e051f8f12

View File

@ -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 \