github下你down不下release版本，只能源码编装~~~

系统环境

ubuntu-14.04.5-desktop-amd64.iso or ubuntu-16.04.1-desktop-amd64.iso

update system apt-get

sudo apt-get update

jdk install

sudo apt-get install openjdk-8-jdk or ubuntu-14 sudo apt-get install openjdk-7-jdk 还没有测试jdk8在infer里面的效果哈~

opam install

sudo add-apt-repository –yes ppa:avsm/ppa sudo apt-get update -qq sudo apt-get install -y opam sudo eval $(opam config env)

这一步be patient

opam init opam update opam switch 4.02.3 eval $(opam config env) opam pin add -y merlin ‘https://github.com/the-lambda-church/merlin.git#reason-0.0.1’ opam pin add -y merlin_extend ‘https://github.com/let-def/merlin-extend.git#reason-0.0.1’ opam pin add -y reason ‘https://github.com/facebook/reason.git#0.0.6’

安装过程出现依赖不能安装则在github.com上查找或者使用opam命令解决依赖包,14有camlzip sudo opam depextg camlzip 或者直接使用 sudo apt-get install 包名

git

sudo apt-get install git

git clone infer

sudo git clone https://github.com/facebook/infer.git

install infer

cd infer

Compile Infer

./build-infer.sh java

Install Infer into your PATH

export PATH=`pwd`/infer/bin:$PATH