This directory, docker/
inside the Infer repo,
contains a docker file to install Infer within a
docker container. This can be used to
quickly try Infer or to deploy Infer.
To use this docker image, you will need a working docker installation. See the instructions for Linux or MacOSX as appropriate.
This docker file will use the latest released version of Infer.
- Get docker running, e.g. using Docker Quickstart Terminal.
- go to the version of your choice, e.g.
cd docker/1.1.0/
- Build or install Infer in the Docker container and try on an example:
cd docker/1.1.0/
docker build -t infer .
# mount the local examples directory inside the image
# you can mount your project directory here instead
docker run -it -v $PWD/../../examples:/infer-examples infer /bin/bash
# you should now be inside the docker container with a shell prompt, e.g.
# "root@5c3b9af90d59:/# "
cd /infer-examples/
infer -- clang -c hello.c