我的环境设置是Ubuntu 14.04 LTS x86_64：
在我＆＃34; ./ configure＆＃34;然后按＆＃34; make＆＃34;，错误如下：
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
这里给出完整的日志：
答案 0 :(得分：4)
Ubuntu 14.04显然使用liblablgtk2-ocaml-dev-2.16.0。由于某种原因（the corresponding debian repository中没有真正解释过），这个.deb似乎包含一个特别不安装库的某些部分的补丁。较新的版本（2.18.3）确实删除了此修补程序，但只有在查看launchpad时我才知道它只适用于16.04。您可以将pin包裹2.18.3发送到opam，但我猜这些问题属于https://askubuntu.com。
另一种选择是使用opam来管理特定于ocaml的软件包（我建议不要使用Ubuntu 14.04中的lablgtk软件包，因为它本身有点旧，opam非常快 - 进化的野兽）。来自opam的{{1}}包不会遇到上述问题，您实际上可以直接从frama-c安装最新的opam版本。