4 Commits (173bc5e99654357b42da65056d1a194b513fba16)

Author	SHA1	Message	Date
kstreee	8096841543	Solve failure in 'docker build .'. ... Summary: An issue facebook/infer#270 suggest two docker build failure error. facebok/infer#270 issues two docker build failure errors. - failure in 'make -C infer clang java' : add './configure' before the command. - failure in building sources : add 'opam switch 4.02.3' to use this syntax in ' cc4439938e/infer/src/clang/cLocation.ml (L76) '. In ubuntu, when 'apt-get install ocaml' ( cc4439938e/docker/Dockerfile (L20) ), for now, it installs ocaml 4.01, but this syntax does not work with ocaml 4.01. Closes https://github.com/facebook/infer/pull/271 Reviewed By: jberdine Differential Revision: D2916909 Pulled By: jvillard fb-gh-sync-id: 3eba991 shipit-source-id: 3eba991	9 years ago
Peter O'Hearn	e402764313	wording changes for docker docs ... Reviewed By: jvillard Differential Revision: D2590533 fb-gh-sync-id: 8258bbb	9 years ago
Jules Villard	f2d80d1a40	base image on release instead of git + doc + launch script ... Summary: public Add instructions how to use the docker image, a script to automatically build and run the docker container, and base the docker image on the latest release of infer instead of git, which saves compiling clang. Reviewed By: cristianoc Differential Revision: D2564909 fb-gh-sync-id: 5c8ea96	9 years ago
Hui Qian	198c57aabc	docker image ... Summary: I make a infer's image by docker tech,please check it. Closes https://github.com/facebook/infer/pull/151 Reviewed By: martinoluca Differential Revision: D2549836 Pulled By: jvillard fb-gh-sync-id: 702f5c1	9 years ago