--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on November 2013 ---
On 07/11/2013 05:49, John Regehr wrote: > Hi, > > I'm trying to use Frama-C with Jessie on a 64-bit Ubuntu 13.10 machine > with these packages installed from source: > > frama-c-Fluorine-20130601 > why-2.33 > why3-0.81 > > I'm simply trying to verify an example code (below, I believe it is > straight from the web) but Frama-C is dying with a large amount of > preprocessor problems as shown in the attached file. A web search on > the actual error line didn't return anything useful so I wanted to check > here if this is a known problem that I might be able to correct? 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. Best regards, Guillaume