【ubuntu18.04】自己安装infer的过程

#安装opam 
add-apt-repository ppa:avsm/ppa
apt update
apt install opam

#安装
apt install pkg-config

#安装java
#直接输入java/javac，查看提示需要安装什么包
#安装jre8 和 jdk8对应的包，安装java11的话，infer装不上，具体原因没找到
apt install xxx

#安装autoconf 和 automake
apt install autoconf/automake

#构建中提示还需要安装的一些包，缺什么就装了在构建
# libgmp-dev  libmpc-dev  libmpfr-dev  zlib1g-dev  等等
apt install xxx


#构建
git clone https://github.com/facebook/infer.git
cd infer
./build-infer.sh java
sudo make install

测试例子：https://fbinfer.com/docs/hello-world