.ci/deps.opam.sh: More pins and workarounds

Closes coala#2664
jayvdb · Jul 4, 2019 · 8b54d13 · 8b54d13
1 parent 3b2bf3f
commit 8b54d13
Showing 1 changed file with 11 additions and 0 deletions.
diff --git 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