ubuntu14 ubuntu15 源码安装infer

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