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

[Frama-c-discuss] preprocessor problems with jessie



> I have encountered the same issue. Let me guess, your gcc compiler is version 
> 4.8, right? For some reason, it seems Frama-C Fluorine cannot cope with the 
> output of cpp-4.8. My workaround is to explicitly set the preprocessor as 
> cpp-4.7 with the -cpp-command of Frama-C.

Yes, my distro uses gcc-4.8, and yes this workaround succeeds, thanks!

John