diff --git a/.ci/deps.opam.sh b/.ci/deps.opam.sh index 9a4c4b5f18..0a4b895d87 100644 --- a/.ci/deps.opam.sh +++ b/.ci/deps.opam.sh @@ -25,7 +25,18 @@ if [ ! -e ~/infer-linux64-v0.7.0/infer/bin ]; then # See https://github.com/coala/coala-bears/issues/1763 opam pin add --yes --no-action reason 1.13.5 + opam pin add --yes --no-action javalib 2.3.1 + opam pin add --yes --no-action infer . + + opam init -y --reinit --disable-sandboxing + + cp ~/.opam/config ~/.opam/config.orig + cat ~/.opam/config + sed -i '/wrap-/d;/sandbox.sh/d' ~/.opam/config + + eval $(opam env) + opam install --deps-only --yes infer ./build-infer.sh java fi