尽管在WSL Ubuntu上安装了frama-c，但未安装Frama-C的GUI（frama-c-gui）

Question

我完全按照http://frama-c.com/install-21.1-Scandium.html#installing-frama-c-on-windows-via-wsl上的说明使用opam安装Frama-C（21.1）。

我想将GUI用于Frama-C，但是当我尝试执行命令frama-c-gui时，出现以下消息：

找不到命令'frama-c-gui'，但可以使用以下命令安装：sudo apt 安装frama-c

我检查了frama-c二进制文件所在的文件夹位置，但是那里也没有名为frama-c-gui的子文件夹。

我确保使用depext安装相关的依赖项，所以我不确定为什么未安装frama-c-gui。

有人可以帮忙吗？

Answer 1

用于Scandium 21.1的Frama-C opam软件包的约束过于严格：它没有检测到已安装conf-gtksourceview3，而是寻找conf-gtksourceview，并最终禁用GUI。补丁已提交给opam，接受后，运行opam update，然后运行opam reinstall frama-c应该启用GUI。

否则，作为快速的解决方法，您可以运行opam install conf-gtksourceview以安装lablgtk2版本。如果您已经有gtk3版本，则对于Frama-C GUI而言实际上不是必需的，但是它将欺骗opam规则，从而不会禁用gui。