--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on January 2011 ---
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