Frama-C 出错

Frama-C make error

我的环境设置是 Ubuntu 14.04 LTS x86_64:

我在“./configure”后跟"make",报错如下:

Ocamlc       src/plugins/value/gui_eval.cmi
Ocamlc       src/plugins/value/gui_eval.cmo
Ocamlc       src/plugins/value/gui_callstacks_filters.cmi
Ocamlc       src/plugins/value/gui_callstacks_filters.cmo
Ocamlc       src/plugins/value/register_gui.cmi
Ocamlc       src/plugins/value/register_gui.cmo
File "src/plugins/value/register_gui.ml", line 224, characters 26-52:
Error: Unbound module GtkButtonProps
make: *** [src/plugins/value/register_gui.cmo] Error 2

此处提供完整日志:

http://pastebin.com/7D0KRZh3

Ubuntu 14.04 显然使用 liblablgtk2-ocaml-dev-2.16.0。出于某种原因(在 the corresponding debian repository) this .deb seems to include a patch to specifically not install some parts of the library. The newer version (2.18.3) did remove this patch, but it will only be available for 16.04 as far as I can tell from looking at launchpad. You might be able to pin the package to 2.18.3, but I guess questions on how to it belong to https://askubuntu.com.

中没有真正解释

另一种选择是使用 opam 来管理特定于 ocaml 的包(我建议不要使用 Ubuntu 14.04 中的 opam 包,因为它本身有点旧,opam 是一个非常快速进化的野兽)。来自 opamlablgtk 包没有上述问题,实际上您可以直接安装来自 opam.

的最新 frama-c 版本