Frama-C制作錯誤

Question

我的環境設置是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

Answer 1

Ubuntu 14.04顯然使用liblablgtk2-ocaml-dev-2.16.0 。 由於某種原因（在相應的debian存儲庫中並未真正解釋），該.deb似乎包含一個補丁，專門用於未安裝該庫的某些部分。 較新的版本（ 2.18.3 ）確實刪除了此修補程序，但就我從啟動板來看，它僅適用於16.04。 您也許能引腳封裝到2.18.3 ，但我想放在如何將它屬於問題https://askubuntu.com 。

另一個選擇是使用opam來管理ocaml特定的軟件包（我建議不要使用Ubuntu 14.04的opam軟件包，因為它本身有些陳舊，而opam是快速發展的野獸）。 該lablgtk從包opam不從上面提到的問題受苦，你實際上可以直接安裝最新的frama-c從版本opam 。