Summary: Make it possible to run infer code from within `ocaml`/`utop`. Integration is really basic, but we can extend it if we find it useful.
Reviewed By: jberdine
Differential Revision: D3736029
fbshipit-source-id: 4cebb7c
Summary:
`make` calls `buck`, who calls `make` again. The last `make` then gets confused
because it wasn't called with `make -n` as it should be for a call of
make-within-make. Unsetting this variable makes `make` forget that it's running
inside `make`.
The main benefit is that it removes annoying spamming of stderr by make/buck
about disabling jobserver.
The submake should also be more parallel now, although if other things are
running in parallel they will ignore any limit set with `-j`.
Reviewed By: jberdine
Differential Revision: D3522156
fbshipit-source-id: 45db21a
Summary:
This diff changes the toplevel 'infer' executable from the current
python script to an OCaml binary. Currently this executable only parses
command line arguments, sets up environment variables, and invokes the
existing python script. This improves infer's command-line and
configuration interface, since passing arguments to the frontends or
backend no longer requires manually setting environment variables, and
arguments for the toplevel can now also be specified in .inferconfig.
Simplification and migration of functionality from the python script is
left for the future.
Reviewed By: martinoluca, jvillard
Differential Revision: D3450662
fbshipit-source-id: 1b52302
Summary:
C++ header models were not included into make install target. This made
C++ analysis much worse for infer released using 'make install'
Reviewed By: jvillard
Differential Revision: D3463000
fbshipit-source-id: 6f7e9b9
Summary:
The conf-clean target removes Makefiles that used to be generated by
autoconf, but aren't any longer.
Differential Revision: D3431186
fbshipit-source-id: c453f00
Andrzej Kotulski
Jules Villard
Josh Berdine