Summary:
I was able to build infer on a clean Debian 8 Jessie chroot with the packages above.
Possibly some packages might be added to other Debian-based distros, I can followup with another PR.
Closes https://github.com/facebook/infer/pull/404
Reviewed By: jberdine
Differential Revision: D3613040
Pulled By: jvillard
fbshipit-source-id: 5ec00ba
Summary:
public
Also clarify that you only need the autotools when building from non-release
trees.
Reviewed By: akotulski
Differential Revision: D2773461
fb-gh-sync-id: 031f814
Summary:
public
The instructions to install opam from the web on linux were not enough:
you need to install opam somewhere on the PATH. Moreover, the wget
command could erase "opam" if launched from the infer repo, which
already has an "opam" file.
./build-infer.sh's "opam init" command would fail if ocaml was not already
installed, instead of installing a default compiler.
Finally, check that ocamlfind is installed using the same logic as other
ocamlfind packages, to get an error message explaining how to get it
using opam if it's not installed, instead of just a failure.
Reviewed By: jeremydubreil
Differential Revision: D2760678
fb-gh-sync-id: 678178e
Summary:
Removed a part of the installation doc that refers to binaries for Linux and Mac OSX that aren't available anymore.
Closes https://github.com/facebook/infer/pull/156
Github Author: Rahul Parsani <rahul.parsani@gmail.com>
Summary:
Bumping up the version of the libraries javalib and sawja to 2.3.1 and 1.5.1 respectively in order to use the upstream fix about classnames with $$.
Summary:
This adds support for having lookup from pointer to decl in C frontend
NOTE: with this diff atdgen 1.6 or later is required.
To upgrade atdgen, please run `opam install atdgen.1.6.0`
Summary:
@public
Remove duplicated instructions about how to install Infer from binaries, and
use the website as the source of truth instead.
Test Plan:
pip install grip
grip
# go to http://localhost:5000/INSTALL.md and check the formatting and links
Matthew Haughton
Jules Villard
Yunxing Dai
Jeremy Dubreil
Filippo Giunchedi
Cristiano Calcagno
Andrzej Kotulski
Victor Ilyukevich
Irene Papakonstantinou
Rahul Parsani
Dulma Rodriguez
Open Source Synchronization