--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on June 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Error on compilation



Hello,

On Fri, Jun 21, 2013 at 5:34 PM, Giuseppe Di Guglielmo <
giuseppe.diguglielmo at gmail.com> wrote:

> Hello there,
> Frama-C (ver. 20130601) compilation returns this error:
> ----
> ...
> 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
>
>
Does "make depend" fix it?

Pascal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130621/20e77ef0/attachment.html>