ubuntu14 ubuntu15 源码安装infer

本文详细介绍了如何在Ubuntu 14.04及16.04系统环境下安装Facebook Infer静态分析工具。从配置系统环境开始,逐步指导安装Java环境、Opam及必要的依赖包,最后通过Git克隆Infer源码并进行编译安装。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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

转载于:https://www.cnblogs.com/windanchaos/p/6398816.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值