尽管在WSL Ubuntu上安装了frama-c，但frama-C的GUI (frama-c)仍未安装

Question

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

我想使用Frama的GUI，但是当我尝试执行命令frama-c-gui时，我得到了以下消息：

没有找到

命令‘frama’，但可以安装以下命令: sudo apt安装frama-c

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

我确保使用depext安装相关的依赖项，所以我不知道为什么没有安装frama。

有人能帮忙吗？

Answer 1

Scroum21.1的Frama opam包有一个过于强大的约束:它没有检测到安装了conf-gtksourceview3，而是查找conf-gtksourceview，最终禁用了GUI。已经向opam提交了一个修补程序，并且在它被接受之后，运行opam update，然后opam reinstall frama-c应该启用GUI。

否则，作为一种快速解决办法，您可以运行opam install conf-gtksourceview来安装lablgtk2版本。如果您已经有了gtk3版本，实际上并不需要Frama，但是它会欺骗opam规则，这样GUI就不会被禁用。