3 Commits (7cb4165189537ebdc2de12effa916e2a45a7c1e2)

Author	SHA1	Message	Date
Skyfold	ee49b436af	build-infer.sh now works with non-traditional shells ... Summary: fixes #267. By calling opam with the --shell=bash in the script I don't get the errors I had before. The new line I added in the docker/README.md was so the list would display correctly when rendered. Closes https://github.com/facebook/infer/pull/272 Reviewed By: jberdine Differential Revision: D2916859 Pulled By: jvillard fb-gh-sync-id: 4243f79 shipit-source-id: 4243f79	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