Frama-C делает ошибку

Моя настройка среды — 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


frama-c
person Peter Teoh    schedule 02.03.2016    source источник

Ответы (1)


arrow_upward
4
arrow_downward

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

person Virgile    schedule 02.03.2016
comment
Тогда я сделаю Ubuntu 16.04, спасибо за заметки, очень признателен :-). Отличная экономия времени. - person Peter Teoh; 03.03.2016