macOS 安装 Frama-C 及使用

操作系统：macOS 12.6 Monterey

官网安装指导：Get Frama-C

一、操作与避坑 🕳️

1、macOS 包管理绕不开 Homebrew 工具，确保安装好。
2、安装 Frama-C 的必要依赖

brew install opam gmp gtk+ gtksourceview libgnomecanvas

在安装时，这些依赖也依赖于一些包，brew 可能未安装，会报错如下：

这表示 brew 尝试自动安装缺失的依赖，但失败了，需要手动安装，处理方式也很简单，缺啥下啥。对于上述缺失的依赖：

brew install gsettings-desktop-schemas libepoxy gtk+3 gtk-mac-integration

3、配置 GTK 库

export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig

4、安装 Frama-C 的推荐依赖

brew install graphviz zmq

5、安装 Frama-C

opam 也是包管理工具，通过它安装 frama-c。在安装前需要初始化 opam，执行 opam init，等待初始化完成即可。

opam install frama-c

✌️安装成功！

二、了解 Frama-C 与使用

2.1 再次启动 frama-c

启动 frama-c 前需要执行以下命令，用于终端寻找 opam 安装的库。

eval $(opam env)