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