--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on March 2014 ---
On Sun, Mar 30, 2014 at 9:57 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote: frama-c -cpp-extra-args=-nostdinc -cpp-extra-args=`frama-c > -print-share-path`/libc ..... > ... where I forgot the necessary -I before `frama-c -print-share-path`/libc. Anyway, you already had that part of the commandline. The only thing you were missing was -nostdinc, to prevent your compiler to search (and find) the host computer's standard headers first. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140330/5adb0889/attachment.html>