deps.opam.sh

#!/bin/sh

set -e
set -x

# Infer commands
if [ ! -e ~/infer-linux64-v0.7.0/infer/bin ]; then
  wget -nc -O ~/infer.tar.xz https://github.com/facebook/infer/releases/download/v0.7.0/infer-linux64-v0.7.0.tar.xz
  tar xf ~/infer.tar.xz -C ~/
  cd ~/infer-linux64-v0.7.0
  opam init --y
  opam update

  # See https://github.com/coala/coala-bears/issues/2059
  opam pin add --yes --no-action yojson 1.3.3
  opam pin add --yes --no-action biniou 1.0.6

  # See https://github.com/coala/coala-bears/issues/1763
  opam pin add --yes --no-action atdgen 1.10.0

  # See https://github.com/coala/coala-bears/issues/2059
  opam pin add --yes --no-action easy-format 1.2.0

  # 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 infer .
  opam install --deps-only --yes infer
  ./build-infer.sh java
fi