--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on June 2013 ---
Yes, it is fixed now. It properly compile. Thank you! On Fri, Jun 21, 2013 at 11:39 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote: > 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 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130621/0eb8614d/attachment.html>