pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '07d6ab2dd6'
${ noResults }
infer_clone/docker
History
Anton Kochkov 319440dfd7
[infer][PR] Update opam version in Docker for master 		6 years ago
..
0.14.0 resource leaks tutorial 6 years ago
master [infer][PR] Update opam version in Docker for master 6 years ago
master-java [lab] fix issues discovered during POPL tutorial 6 years ago
README.md [infer][PR] Dockerfile update 8 years ago

README.md

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# "
sdkmanager --licenses
cd android_hello/
infer -- ./gradlew build