Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

.ci/deps.sh: Fix infer breakage #1765

Merged
merged 2 commits into from
May 25, 2017
Merged

.ci/deps.sh: Fix infer breakage #1765

merged 2 commits into from
May 25, 2017

Conversation

jayvdb
Copy link
Member

@jayvdb jayvdb commented May 25, 2017

Fixes #1763

@jayvdb
Copy link
Member Author

jayvdb commented May 25, 2017

@jayvdb jayvdb changed the title Opam fixes .ci/deps.sh: Fix infer breakage May 25, 2017
Building infer 0.7.0 fails when recently released atdgen 1.10.2
is installed.  Downgrading to prior stable version 1.10.0.

Fixes coala#1763
Building infer 0.7.0 fails when building dependency reason 0.4.0.
infer 0.7.0 requires =0.4.0, however InferBear works by forcing
upgrading to 1.13.5

Fixes coala#1763
@Mixih
Copy link
Member

Mixih commented May 25, 2017

ack ee28a84 4aa4c9e

@Mixih
Copy link
Member

Mixih commented May 25, 2017

An alternative is being investigated

@jayvdb
Copy link
Member Author

jayvdb commented May 25, 2017

@rultor merge

@rultor
Copy link

rultor commented May 25, 2017

@rultor merge

@jayvdb OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit 4aa4c9e into coala:master May 25, 2017
@rultor
Copy link

rultor commented May 25, 2017

@rultor merge

@jayvdb Done! FYI, the full log is here (took me 2min)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

4 participants