.ci/deps.opam.sh: Pin javalib and disable sandbox

Additional steps needed for old infer 0.7.0 to build. Closes #2664
coala · Jul 16, 2019 · 80b0d26 · 80b0d26
1 parent 9b23878
commit 80b0d26
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.ci/deps.opam.sh b/.ci/deps.opam.sh
@@ -24,7 +24,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
 
+  # See https://github.com/coala/coala-bears/issues/2664
+  # for javalib and the disable-sandboxing below
+  opam pin add --yes --no-action javalib 2.3.1
+
   opam pin add --yes --no-action infer .
+
+  opam init -y --reinit --disable-sandboxing
+
+  sed -i '/wrap-/d;/sandbox.sh/d' ~/.opam/config
+
+  eval $(opam env)
+
   opam install --deps-only --yes infer
   ./build-infer.sh java
 fi