--- layout: fc_discuss_archives title: Message 37 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



Hi

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 ?
Ch

-- 
Christele Faure-Simeoni
04 93 77 71 08
http://pagesperso-orange.fr/Christele.Faure/
http://www.safe-river.com/