Install infer under Ubuntu

sudo apt-get update
sudo apt-get upgrade
sudo apt-get install git openjdk-7-jdk M4 zlib1g-dev python-software-properties build-essential Libgmp-dev Libmpfr-dev li Bmpc-dev Unzip
wget Https://github.com/ocaml/opam/releases/download/1.2.2/opam-1.2.2-x86_64-Linux-O Opam
chmod +x Opam
./opam Init--comp=4.01.0 # (then say ' Y ' to the final question)
Eval './opam config env '
./opam Install extlib.1.5.4 atdgen.1.6.0 javalib.2.3.1 sawja.1.5.1 # (then say ' y ' to the question)
```

If you don't require support for the C/OBJECTIVE-C analysis in infer,
And only wish to analyse Java files, continue with these
Instructions. By the the-the-1.8, Java is not supported.

"' Bash
CD Infer
Make-c Infer Java
Export path= ' pwd '/infer/bin: $PATH

Install infer under Ubuntu