39 Commits (bc841595d5217be4b23de4feef009fde689557d1)

Author SHA1 Message Date
Andrew V. Jones b878b4a148 [infer][PR] When building clang, add support for 'ninja' and for only using one process for linking
5 years ago
Jules Villard 2a68099640 add `make install-with-libs` back
5 years ago
Jules Villard 1b2829b352 [python] it's just a flesh wound
5 years ago
Sungkeun Cho 387ef518f9 [inferbo] Revert external relational domains (apron, elina)
5 years ago
Josh Berdine 4c6ae7d22d [ocamlformat] Deploy using dotslash
5 years ago
Jules Villard ddddea3eda [java] easier to switch between java 8 and java 11
5 years ago
Artem Pianykh 346c89c717 Make infer binary runnable on Mojave without fiddling with SDKROOT
5 years ago
Artem Pianykh 7792c02388 Use xcrun to find SDK paths on OSX host during configure
6 years ago
Josh Berdine cfc1c8be36 [copyright] Remove years
6 years ago
Ezgi Çiçek ce190547a5 [java] Add support for openjdk11
6 years ago
Jules Villard c2c876d435 [release] less but also more clowny way of shipping dynamic libraries
6 years ago
Jules Villard ba5ad82128 [make] support relocating libs at install time
6 years ago
Boris Yakobowski 31a6b92902 [infer][PR] fix installation of alias binaries
6 years ago
Jules Villard 03d73c7941 [make] record `SDKROOT` at configure-time to use during `make`
6 years ago
Nikos Gorogiannis bca942c694 [python] kill python frontend
6 years ago
Martin Trojer e2c08e4085 Decouple objc tests from xcode-select
6 years ago
Sungkeun Cho 9eca72d405 [Inferbo] Add relational domains
6 years ago
Sungkeun Cho 06a04ca9f5 Revert "[Inferbo] Add relational domain"
7 years ago
Sungkeun Cho 1f7a6e53fb [Inferbo] Add relational domain
7 years ago
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Jules Villard 4a71067c68 [tests] kill some new dead code
7 years ago
Jules Villard 7ef191f4be [build] honour `OPAMROOT`
7 years ago
Jules Villard 20b198b727 [make] do not install tuareg if emacs is not found
7 years ago
Sam Blackshear 81c68a34cd [infer] python integration: parser, cfg support
7 years ago
Jules Villard 8de2b88783 [make] s/ocamlbuild/jbuilder/g
7 years ago
Jules Villard 4792e37a73 [make] kill PATH hack
7 years ago
Josh Berdine bab3d81cb0 Convert Reason to OCaml, and auto-format OCaml
8 years ago
Jules Villard e00a82adcb [opam] add `make opam.lock` target
8 years ago
Jules Villard c10d2ed32d [make] install man pages
8 years ago
Andrzej Kotulski a77594ff2b Fix Makefile.autoconf.in
8 years ago
Jules Villard 15b8f80e18 [build] record last modified date of --help data inside ./configure
8 years ago
Jules Villard f4cbba109e add options to ./build-infer.sh to only opam deps, and to force the opam switch, delete yarn
8 years ago
Jules Villard 3ab6c43fb6 [tests] awesomize make output
8 years ago
Jules Villard b7f3116ca7 [dewey] publish a tarball in a new tag in addition to the release tree
8 years ago
Jules Villard 0b4f4953a5 [build] move to ctypes stubs
8 years ago
Jules Villard dac8906d86 [make] make sure makefile uses config-time values
8 years ago
Dulma Churchill e7fc96148a [ios] Fix xcodebuild integration with xcpretty, add test.
8 years ago
Jules Villard 2e96caac42 [mvn] new integration
8 years ago
Jules Villard 4aeea1af3b [make] split Makefile.config.in into Makefile.autoconf.in and Makefile.config
8 years ago