MacOS Ventura中使用brew安装Frama-C依赖libgnomecanvas报错求助

办法1：用旧版Homebrew配方手动安装 #

brew禁用libgnomecanvas是因为上游仓库归档，但可以通过Homebrew的历史版本配方文件安装：

• 进入Homebrew核心仓库目录，导出指定版本的配方文件：

  cd $(brew --repo homebrew/core)
  git show 8b9d6d0b4a1686c44f0a7b2d3b4b620c4e5e0a2a:Formula/libgnomecanvas.rb > ~/libgnomecanvas.rb
  

• 切换回用户目录，用本地配方文件安装：

  cd ~
  brew install ./libgnomecanvas.rb
  

• 安装完成后，锁定该包，防止后续brew升级时被移除：

  brew pin libgnomecanvas
  

办法2：换用MacPorts安装 #

如果brew的方式行不通，试试MacPorts：

• 先安装MacPorts（未安装的话自行完成安装），然后执行：

  sudo port install libgnomecanvas
  

• 安装完成后，确保/opt/local/bin路径添加到系统的PATH环境变量中，让Frama-C能找到该依赖。

办法3：安装无GUI版Frama-C #

如果不需要Frama-C的图形界面，直接安装命令行版本即可绕开libgnomecanvas依赖：

• 使用官方推荐的opam工具安装：
  1. 先安装opam：

     brew install opam
     

  2. 初始化opam：

     opam init --disable-sandboxing
     

  3. 安装仅命令行的基础版Frama-C：

     opam install frama-c-base
     

  若需要完整功能但跳过GUI组件，可执行：

  opam install frama-c --without gtk
  

内容的提问来源于stack exchange，提问作者DavidSanan