问题描述
我完全按照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。
有人可以帮忙吗?
解决方法
用于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。