操作系统：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
✌️安装成功！
