10 Commits (a57ec904057b71abd4b1cf93016afd34e675cf0d)

Author SHA1 Message Date
Jules Villard a774f5e733 compile with -safe-string
10 years ago
Jules Villard 8dabf716e0 remove compilation warnings for OCaml version >= 4.02.0
10 years ago
Jules Villard 82278d0d18 ensure that javac is available
10 years ago
Jules Villard 019147c395 check that python2.7 is present
10 years ago
Jules Villard 5019471640 migrate infer/src/Makefile
10 years ago
Jules Villard 7f1b494001 migrate infer/models/Makefile
10 years ago
Jules Villard 408ec141ad migrate infer/Makefile
10 years ago
Jules Villard afa416ed4e add toplevel Makefile
10 years ago
Jules Villard dbfa1f7c69 migrate infer/annotations/Makefile
10 years ago
Jules Villard 1e3085e8b8 add configure script
10 years ago