infer_clone/FILES.md

#Files in infer/bin/

## Top-level commands

*infer* : Main command to run Infer. Check out the docs for instructions on how to use it.

*infer-<command>* : Infer subcommands. Running `infer-<command> [options]` is the same as running `infer <command> [options]`.

*inferTraceBugs* : Python script to explore the error traces in Infer reports
[OSS] Adding FILES.md 10 years ago			`#Files in infer/bin/`

			`## Top-level commands`

Add OCaml toplevel driver executable 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 9 years ago			`infer : Main command to run Infer. Check out the docs for instructions on how to use it.`
[OSS] Adding FILES.md 10 years ago
[CLI] switch to infer-<command> (symlinks) executables Summary: Introduce `infer-<command>` for each command, except for internal commands (only `infer-clang` for now) which are not exported. Install these executables (which are just symlinks to `infer`) on `make install`. The main executable looks at the name it was invoked with to figure out if it should behave as a particular command. Get rid of `InferClang`, `InferAnalyze`, and `InferPrint`. As a bonus, we now only need to build one executable: `infer`, which should be a few seconds faster (less link time). `InferAnalyze` is now `infer-analyze` and `InferPrint` is `infer-print`. To run `InferClang`, use a symlink named `clang`, `clang++`, etc. to `infer`. There are such symlinks available in "infer/lib/wrappers/" already. I also noticed that the scripts in xcodebuild_wrappers/ don't seem useful anymore, so use wrappers/ instead, as for `make`. Reviewed By: mbouaziz Differential Revision: D5036495 fbshipit-source-id: 4a90030 8 years ago			infer-<command> : Infer subcommands. Running `infer-<command> [options]` is the same as running `infer <command> [options]`.
[OSS] Adding FILES.md 10 years ago
[CLI] switch to infer-<command> (symlinks) executables Summary: Introduce `infer-<command>` for each command, except for internal commands (only `infer-clang` for now) which are not exported. Install these executables (which are just symlinks to `infer`) on `make install`. The main executable looks at the name it was invoked with to figure out if it should behave as a particular command. Get rid of `InferClang`, `InferAnalyze`, and `InferPrint`. As a bonus, we now only need to build one executable: `infer`, which should be a few seconds faster (less link time). `InferAnalyze` is now `infer-analyze` and `InferPrint` is `infer-print`. To run `InferClang`, use a symlink named `clang`, `clang++`, etc. to `infer`. There are such symlinks available in "infer/lib/wrappers/" already. I also noticed that the scripts in xcodebuild_wrappers/ don't seem useful anymore, so use wrappers/ instead, as for `make`. Reviewed By: mbouaziz Differential Revision: D5036495 fbshipit-source-id: 4a90030 8 years ago			`inferTraceBugs : Python script to explore the error traces in Infer reports`