--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on June 2013 ---
Hello there, Frama-C (ver. 20130601) compilation returns this error: ---- Ocamlc src/gui/debug_manager.cmo Ocamlc src/gui/help_manager.cmo Ocamlc src/gui/property_navigator.cmo Ocamlc src/metrics/metrics_gui.cmo Ocamlc src/metrics/register_gui.cmo Packing lib/plugins/gui/Metrics.cmo Ocamlc src/syntactic_callgraph/cg_viewer.cmo Packing lib/plugins/gui/Syntactic_callgraph.cmo Ocamlc src/value/register_gui.cmo Packing lib/plugins/gui/Value.cmo Ocamlc src/occurrence/register_gui.cmo Packing lib/plugins/gui/Occurrence.cmo Ocamlc src/from/from_register_gui.cmo Packing lib/plugins/gui/From.cmo Ocamlc src/impact/register_gui.cmo Packing lib/plugins/gui/Impact.cmo Ocamlc src/scope/dpds_gui.cmo Packing lib/plugins/gui/Scope.cmo Ocamlc src/slicing/register_gui.cmo File "src/slicing/register_gui.ml", line 1, characters 0-1: Error: Could not find the .cmi file for interface src/slicing/register_gui.mli. make: *** [src/slicing/register_gui.cmo] Error 2 ---- Do you have any suggestion to fix it? Thanks! -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130621/0bf2a333/attachment.html>