--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Error during plugin compilation



Hello,

Le 20/01/2011 16:07, Christele Faure a ?crit :
> I made a custom install of Frama-C with
> DESTDIR=/home/faure/frama-c/frama-c-install.
>
> Now I try to compile a plugin with a Makefile built as described in the
> manual.
> But I get the error:
> Linking frama-c-Saferiver.byte
> Cannot find file /usr/local/lib/frama-c/boot.cmo
> make: *** [frama-c-Saferiver.byte] Error 2
>
> I think that it is due to the custom install but cannot make it work.
> Is it a known problem ?

No it is not a known problem, but yes that is a problem. I guess you're 
the first person writing a plug-in with a custom DESTDIR... Please could 
you report this bug on our BTS (bts.frama-c.com)? I will investigate 
your issue.

Thanks,
Julien