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内容，包括{{ 1}}模块。虽然基于文本的Dgraph只需要前者，但您需要同时编译GUI frama-c。