Frama-C出錯（Ubuntu 16.04 LTS）：錯誤：未綁定的模塊Dgraph

這個Frama-C Magnesium-20151002，編譯環境是Ubuntu 16.04（Xenial）。Frama-C出錯（Ubuntu 16.04 LTS）：錯誤：未綁定的模塊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

來源

2016-03-03 Peter Teoh

你安裝了'libocamlgraph-viewer-ocaml-dev'嗎？如果我沒有弄錯'Dgraph'是OCamlgraph的gtk綁定的一部分，它屬於一個獨立的Ubuntu軟件包而不是OCamlgraph的核心。 – Virgile

是的，它的工作，你是對的。你可以把它作爲答案，我會爲你+1嗎？ –

有跡象表明，讓您編譯一個ocamlgraph鏈接程序的debian 2（因此Ubuntu的）包：libocamlgraph-ocaml-dev和libocamlgraph-viewer-ocaml-dev，後者包含GUI的東西，這包括Dgraph模塊。雖然基於文本的frama-c只需要前者，但您需要編譯GUI frama-c-gui。

來源

2016-03-04 13:29:55 Virgile

你真棒！ –

也救了我。謝謝！ – mattator

Frama-C出錯（Ubuntu 16.04 LTS）：錯誤：未綁定的模塊Dgraph

回答

相關問題