--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on April 2014 ---
On Tue, Apr 1, 2014 at 9:36 PM, Frank Dordowsky <frank at strato.de> wrote: > That was a pointer to the right direction. However, the option > -ffreestanding did not work. With help of a C guru at my office I > found another option that did the trick: -fpreprocessed <stdc-predef.h>. > My complete command now reads: > > frama-c -cpp-extra-args="-I `frama-c -print-share-path`/libc" > -cpp-extra-args="-nostdinc" -cpp-extra-args="-fpreprocessed > </path/to/stdc-predef.h>" -wp -wp-rte -pp-annot constant.c > According to a later message in a GCC mailing list, you still seem to be having problems (http://article.gmane.org/gmane.comp.gcc.help/46584/ ). An alternative solution would be to use Clang to pre-process your files. It uses the same syntax for its commandline down to the options that cause only pre-processing to happen. Could we see the file stdc-predef.h that is so terrible, or a minimal C file pre-processed by GCC 4.8.2? Regards, Pascal -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140406/7b46835f/attachment.html>