Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[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