--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on December 2008 ---
On Fri, 2008-12-12 at 11:07 +0100, Pascal Cuoq wrote: > CIL refuses to link on my non-linux platform. I'm indeed working on linux. > I get warnings such as... I attached socket.h and unistd.h from my system. > would it be possible for you to make a self-contained analysis > project that contained all the headers used by the C files and > to post it somewhere? What platform are you on ? So I can test the self-contained analysis project before sending it to you. -------------- next part -------------- A non-text attachment was scrubbed... Name: socket.h Type: text/x-chdr Size: 9209 bytes Desc: not available Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/ac56aa32/attachment-0002.h -------------- next part -------------- A non-text attachment was scrubbed... Name: unistd.h Type: text/x-chdr Size: 40143 bytes Desc: not available Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081212/ac56aa32/attachment-0003.h