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 '1371ca96e9'
${ noResults }
infer_clone/docker
History
Jules Villard f2d80d1a40
base image on release instead of git + doc + launch script 		9 years ago
..
Dockerfile base image on release instead of git + doc + launch script 9 years ago
README.md base image on release instead of git + doc + launch script 9 years ago
run.sh base image on release instead of git + doc + launch script 9 years ago

README.md

docker images for Infer

This directory 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. Simply type "./run.sh" to get a shell inside the docker container. It will have built and installed Infer. You can then try out Infer on the introductory examples:

# compiles Infer; this takes a few minutes
./run.sh
# you should now be inside the docker container with a shell prompt, e.g.
# "root@5c3b9af90d59:/# "
cd /infer/examples/android_hello/
infer -- gradle build