--- layout: fc_discuss_archives title: Message 33 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



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