frama-c - Frama-C 出错（Ubuntu 16.04 LTS）：错误：未绑定模块 Dgraph

Question

这个Frama-C Magnesium-20151002，编译环境是Ubuntu 16.04（Xenial）。

Ocamlc       src/plugins/gui/debug_manager.cmi
Ocamlc       src/plugins/gui/help_manager.cmi
Ocamlc       src/plugins/gui/property_navigator.cmi
Ocamlc       src/plugins/gui/gui_parameters.cmo
Ocamlc       src/plugins/gui/gtk_helper.cmo
File "src/plugins/gui/gtk_helper.ml", line 1318, characters 9-58:
Error: Unbound module Dgraph
share/Makefile.generic:77: recipe for target 'src/plugins/gui/gtk_helper.cmo' failed
make: *** [src/plugins/gui/gtk_helper.cmo] Error 2

Answer 1

有两个 debian（因此是 ubuntu）包允许您编译链接到ocamlgraph:libocamlgraph-ocaml-dev和libocamlgraph-viewer-ocaml-dev的程序，后者包含 GUI 内容，包括Dgraph模块。虽然基于文本的frama-c只需要前者，但您需要两者来编译 GUI frama-c-gui。