--- layout: fc_discuss_archives title: Message 103 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c_stdlib error



Le 24/02/2012 20:58, Nguy?n C?nh Th??ng a ?crit :
> @to Anne
> I'm working with Frama-c Nitrogen in MS window7 environment,
> I've tried using -cpp-extra-args...
> but It seems Frama-c doesn't work with stdlib.h

Sorry, I don't use MS windows... so I cannot help you for that.

> It always reports
> /stdlib.h: 319:[kernel] user error: syntax error/

Do you know which stdlib.h file is used ?
Did you have a look to the line 319 to try to guess what happening ?

I cannot help you more: sorry...

Anne.