Public | Automated Build

Last pushed: 2 years ago
Short Description
infer
Full Description

docker images for Infer

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.

Pre-requisites

To use this docker image, you will need a working docker
installation. See the instructions for
Linux or
MacOSX as appropriate.

How to use

This docker file will use the latest
released version of
Infer.

  1. Get docker running, e.g. using Docker Quickstart Terminal.
  2. cd to the directory docker/,
  3. Build Infer in docker container and try on an example:
# Build Infer; 20min or so; to be executed from docker/ in the Infer repo
./run.sh
# you should now be inside the docker container with a shell prompt, e.g.
# "root@5c3b9af90d59:/infer/examples# "
cd android_hello/
infer -- ./gradlew build
Docker Pull Command
Owner
yongjhih
Source Repository