--- layout: fc_discuss_archives title: Message 94 from Frama-C-discuss on September 2013 ---
> 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>