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 (я бы посоветовал не использовать opam пакет из Ubuntu 14.04, так как он сам по себе немного стар, опам - довольно быстро развивающийся зверь). lablgtk пакет из opam не страдает от проблемы, упомянутой выше, и вы можете непосредственно установить последнюю версию frama-c версия от opam,