Merge pull request #303 from jestabro/equuleus-pin-pcre-no-jit

Docker: T4970: pin OCaml pcre package to avoid JIT support
This commit is contained in:
Daniil Baturin 2023-02-01 00:25:40 +00:00 committed by GitHub
commit 3da60940f8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -126,8 +126,11 @@ RUN curl https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh \
sed -i 's/read BINDIR/BINDIR=""/' /tmp/opam_install.sh && sh /tmp/opam_install.sh && \
opam init --root=/opt/opam --comp=4.12.0 --disable-sandboxing
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 \
pcre re
re
RUN eval $(opam env --root=/opt/opam --set-root) && opam install -y \
num \