infer_clone/infer/bin/.gitignore

# .gitignore to keep the directory for dune to promote binaries into
###################################

# Filter everything except the .gitignore
*
!.gitignore
[build] Replace custom make cmds w/ dune promotion and byte_complete Summary: Main changes are: 1. Dune can promote targets into the source tree as a part of build. This allows us to remove custom promotion/installation logic in src/Makefile. 2. Dune promotion only works for path within workspace. This required moving dune-workspace one folder up: from infer/infer/src to infer/infer. But this is not bad, since it makes it possible to migrate tests under dune at some point. 3. `checkCopyright` now also promoted into `infer/infer/bin` instead of `infer/scripts` partly for consistency and partly because of the dune-workspace location. 4. `byte` mode was replaced with `byte_complete`. The latter takes similar amount of time to build compared to `byte`, but produces standalone binaries that don't require InferCStubs to be installed. This allowed to remove `dune_exec_shim` and custom logic around `dune build InferCStubs.install` when dealing with byte targets. All in all, `infer/src/Makefile` is not about 2/3 its previous size with less custom logic in Makefiles/scripts and more encoded in dune build files. Reviewed By: jvillard Differential Revision: D20303902 fbshipit-source-id: 9e4c65bd0 5 years ago			`# .gitignore to keep the directory for dune to promote binaries into`
			`###################################`

			`# Filter everything except the .gitignore`
			`*`
			`!.gitignore`