--- layout: fc_discuss_archives title: Message 94 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] "Re: How to ignore Incompatible declarations without emitting errors?"



> I don't think so. For me this is complicated (a system header might
> use another system header the defines a symbol identical to one in
> Frama-C's header, even if at first sight both first level included
> files are different) and risky (you might think that a symbol is
> defined by a system header while in fact it is defined by a Frama-C
> one, or vice versa).
> It is probably better to use only Frama-C headers, maybe augmented by
> copied/pasted and annotated version of system ones if Frama-C headers
> are lacking some features.


Dear all,

I  am back to this question again.
David MENTRE suggest me only use frama-c headers to compile c files.
But here I encounter the problem is:
While only using frama-c headers, i found it very hard to successfully
compile any GNU projects on ftp.gnu.org website.

Any suggestions?

Looking forward to hear from you.

Best regards,
David Yang
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130914/d03196bf/attachment.html>