邮资-C做出错误

Question

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

后我 “的./configure”，后 “做”，错误如下：

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

Answer 1

的Ubuntu 14.04显然使用liblablgtk2-ocaml-dev-2.16.0。由于某种原因（the corresponding debian repository没有真正解释），.deb似乎包含一个补丁，专门不安装库的某些部分。较新版本（​​）确实删除了此修补程序，但根据我在查看launchpad时可以看出，该修补程序仅可用于16.04版。您可能可以将pin的包打包为​​，但我猜想如何归入https://askubuntu.com。

另一个选择是使用opam来管理ocaml特定的软件包（我建议不要使用Ubuntu 14.04中的opam软件包，因为它本身有点旧，opam是一个相当快速发展的野兽）。来自opam的lablgtk包不会遇到上述问题，实际上您可以直接安装opam的最新frama-c版本。