Этот Frama-C Magnesium-20151002, среда компиляции Ubuntu 16.04 (Xenial).Ошибки Frama-C (Ubuntu 16.04 LTS): Ошибка: Unbound module Dgraph
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
Вы установили 'libocamlgraph-viewer-ocaml-dev'? Если я не ошибаюсь, 'Dgraph' является частью привязок gtk OCamlgraph, который принадлежит отдельному пакету Ubuntu, чем ядро OCamlgraph. – Virgile
да, это сработало, вы правы. может у, пожалуйста, поставите его в качестве ответа, и я буду +1 для вас? –