郵資-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版本。