Frama-C 出错
Frama-C make error
我的环境设置是 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
此处提供完整日志:
Ubuntu 14.04 显然使用 liblablgtk2-ocaml-dev-2.16.0
。出于某种原因(在 the corresponding debian repository) this .deb
seems to include a patch to specifically not install some parts of the library. The newer version (2.18.3
) did remove this patch, but it will only be available for 16.04 as far as I can tell from looking at launchpad. You might be able to pin the package to 2.18.3
, but I guess questions on how to it belong to https://askubuntu.com.
中没有真正解释
另一种选择是使用 opam 来管理特定于 ocaml 的包(我建议不要使用 Ubuntu 14.04 中的 opam
包,因为它本身有点旧,opam 是一个非常快速进化的野兽)。来自 opam
的 lablgtk
包没有上述问题,实际上您可以直接安装来自 opam
.
的最新 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
此处提供完整日志:
Ubuntu 14.04 显然使用 liblablgtk2-ocaml-dev-2.16.0
。出于某种原因(在 the corresponding debian repository) this .deb
seems to include a patch to specifically not install some parts of the library. The newer version (2.18.3
) did remove this patch, but it will only be available for 16.04 as far as I can tell from looking at launchpad. You might be able to pin the package to 2.18.3
, but I guess questions on how to it belong to https://askubuntu.com.
另一种选择是使用 opam 来管理特定于 ocaml 的包(我建议不要使用 Ubuntu 14.04 中的 opam
包,因为它本身有点旧,opam 是一个非常快速进化的野兽)。来自 opam
的 lablgtk
包没有上述问题,实际上您可以直接安装来自 opam
.
frama-c
版本