--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on June 2013 ---
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>