Homebrew package #36

SeraphimSerapis opened this Issue Jun 12, 2015 · 10 comments


None yet

9 participants


It would be marvellous if Infer could be installed and updated via Homebrew.
Any plans to offer this as an alternative to compiling Infer yourself or retrieving the hosted binary?

a11n commented Jun 13, 2015

...had the same thought after reading http://fbinfer.com/docs/getting-started.html

alistra commented Jun 14, 2015


plowman commented Jun 14, 2015

Looks like someone is working on this here: Homebrew/legacy-homebrew#40597

@irpap irpap added the installation label Jun 15, 2015

Update: Due to Facebook deciding to take down the pre-compiled binary, the infer recipe hosted in my repo currently won't work. Working on getting a from-source compilation sorted out. Works again as of 0.3.0

@plowman As of right now, I'm basically blocked on building from source within Homebrew (see the previously linked issue for more context). I'm going to try to deep dive over the next week but debugging OPAM/OCaml and C is a tad bit outside of my wheelhouse so I can't provide any ETA. If you want to install the pre-built binary provided by Facebook, I've made it available at my auxiliary tap: https://github.com/dambrisco/homebrew-aux

The existing PR into Homebrew is the same formula, but the maintainers have asked for a from-source build and I don't expect it'll be merged until I've managed to get that working.


I just opened Homebrew/legacy-homebrew#47792 - it adds a formula that uses 0.5.


The Homebrew PR has landed.

You can now install Infer via Homebrew, just do:

brew update
brew install infer

If you want to just target Java you can do:

brew install infer --without-clang

or if you just want to target Clang you can do:

brew install infer --without-java

I think this can be closed now?


Thank you @tonycosentini ๐ŸŽ‰ ๐Ÿบ

@jvillard jvillard closed this Jan 13, 2016

@tonycosentini - what do we do when we create new infer release?


If the build process does not change, we just need to change the download URL - https://github.com/Homebrew/homebrew/blob/1e0664f4b4ab73bb74b40e4f2d9370cc579e7986/Library/Formula/infer.rb

There are a few improvements that can be made to this script, I'm not a huge fan of listing the dependencies within the script since they are already in the OPAM file. Unfortunately, you can't init an OPAM repo in the same directory a package was pinned from.


For future reference, here's what the formula change looks like when there is a new release - Homebrew/legacy-homebrew#48328

(I'll try to keep up with releases, just wanted to leave this for reference if anyone is interested.)

@ozmium ozmium added a commit to ozmium/infer that referenced this issue Oct 27, 2016
@ozmium ozmium Add how to resolve install error - "brew update"
If you get the error "Error: No available formula for infer . Searching taps... homebrew/science/infernal"
... Then you must run this command first:

brew update

And then run `brew install infer`. Reference: facebook#36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment