ubuntu下安装 infer

最新推荐文章于 2022-11-19 22:04:35 发布

weixin_34115824

最新推荐文章于 2022-11-19 22:04:35 发布

阅读量321

点赞数

CC 4.0 BY-SA版权

文章标签： java git 移动开发

原文链接：https://yq.aliyun.com/articles/355094

本文详细介绍如何在Ubuntu系统中安装并配置OCaml环境，包括必要的依赖库和工具。通过一系列命令行操作，读者可以跟随步骤完成OCaml的安装及Opam包管理器的设置，进而安装所需的OCaml扩展库。

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

sudo apt-get update
sudo apt-get upgrade
sudo apt-get install git openjdk-7-jdk m4 zlib1g-dev python-software-properties build-essential libgmp-dev libmpfr-dev libmpc-dev unzip
wget https://github.com/ocaml/opam/releases/download/1.2.2/opam-1.2.2-x86_64-Linux -O opam
chmod +x opam
./opam init --comp=4.01.0 #(then say 'y' to the final question)
eval `./opam config env`
./opam install extlib.1.5.4 atdgen.1.6.0 javalib.2.3.1 sawja.1.5.1 #(then say 'y' to the question)
```

If you do not require support for the C/Objective-C analysis in Infer,
and only wish to analyse Java files, continue with these
instructions. By the way, Java 1.8 is not supported.

```bash
cd infer
make -C infer java
export PATH=`pwd`/infer/bin:$PATH

分类: ubuntu solve

本文转自wanqi博客园博客，原文链接：http://www.cnblogs.com/wanqieddy/p/4741463.html，如需转载请自行联系原作者