Frama-C make errors (Ubuntu 16.04 LTS): Error: Unbound module Dgraph

Question

这个Frama-C Magnesium-20151002，编译环境是Ubuntu16.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 编译 link 的程序：libocamlgraph-ocaml-dev 和 libocamlgraph-viewer-ocaml-dev，后者包含 GUI 内容，包括 Dgraph 模块。虽然基于文本的 frama-c 只需要前者，但您需要两者来编译 GUI frama-c-gui.

Frama-C make errors (Ubuntu 16.04 LTS): Error: Unbound module Dgraph

Frama-C make errors (Ubuntu 16.04 LTS): Error: Unbound module Dgraph

frama-c

ubuntu-16.04