Skip to content

Commit

Permalink
.ci/deps.opam.sh: Pin easy-format to v1.2.0
Browse files Browse the repository at this point in the history
Infer compilation fails when using easy-format v1.3.0

Also adds comments about the last two Infer breakages.

Fixes coala#2059
  • Loading branch information
jayvdb committed Dec 21, 2017
1 parent bf90ac1 commit 71ed4df
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions .ci/deps.opam.sh
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,16 @@ if [ ! -e ~/infer-linux64-v0.7.0/infer/bin ]; then
cd ~/infer-linux64-v0.7.0
opam init --y
opam update

# 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
Expand Down

0 comments on commit 71ed4df

Please sign in to comment.