Tags: geckhan/infer
Tags
[make] support relocating libs at install time Summary: Provide hooks into the autoconf configure script to define where libgmp and libmpfr may be found. Use these and opam to copy the more exotic library objects into the installation of infer on a new `make install-with-libs` target so that the binaries can be distributed usefully, i.e., without users having to install gmp, mpfr, and more importantly apron and elina (which need ocaml + opam + ..., which would defeat the point of having binaries). Reviewed By: skcho Differential Revision: D14065317 fbshipit-source-id: 9a2ac7200
[release] preparing for binary releases Summary: Change the documentation to refer to (upcoming) binary releases. Update the scripts to treat .release differently: now we want to build clang and the plugins even in release mode, as that's just the preparation for the release tarball containing only binaries. Reviewed By: mbouaziz Differential Revision: D8235388 fbshipit-source-id: bfb4ae8
[CLOpt] replace uses of Str with Core.String Summary: Running `infer --help` with spacetime showed that `Str` was a hog. And indeed perf is 74% better now: ``` before: bash -c 'for i in $(seq 100); do infer --help > /dev/null 2>/dev/null; done' 28.02s user 0.62s system 98% cpu 29.205 total after: bash -c 'for i in $(seq 100); do infer --help > /dev/null 2>/dev/null; done' 6.34s user 0.64s system 92% cpu 7.557 total ``` Running on many files one after the other is now 64% faster too: ``` $ cd infer/tests/codetoanalyze/c/errors $ # before $ rm -fr infer-out && time bash -c 'for src in */*.c; do infer -a capture --continue -- clang -c $src; done' bash -c 7.77s user 0.66s system 97% cpu 8.647 total $ # after $ rm -fr infer-out && time bash -c 'for src in */*.c; do infer -a capture --continue -- clang -c $src; done' bash -c 2.35s user 0.56s system 93% cpu 3.119 total $ time infer -a capture -- clang -c */*.c infer -a capture -- clang -c */*.c 0.54s user 0.20s system 99% cpu 0.737 total ``` Reviewed By: mbouaziz Differential Revision: D4875803 fbshipit-source-id: cfcfa69
PreviousNext