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] Re: [Why-discuss] Questions about Frama-C

  • Subject: [Frama-c-discuss] Re: [Why-discuss] Questions about Frama-C
  • From: yannick.moy at (Yannick Moy)
  • Date: Thu Oct 9 20:54:28 2008
  • In-reply-to: <>
  • References: <004001c9292c$497e17b0$dc7a4710$@com> <> <006301c9294c$73712ce0$5a5386a0$@com> <> <>


Frama-C uses by default cpp to preprocess source files, but you may change
this by setting option -cpp-command. Otherwise, Frama-C relies on CIL to
link source files and generate a unique abstract syntax tree to analyse.


On Thu, Oct 9, 2008 at 8:13 PM, Satrajit Roy <> wrote:

> Hi,
> I just downloaded Frama-C on my Windows box and it seems that it uses 'gcc'
> by default and I couldn't find any way to change it to use 'Visual C'. Is
> there a way to make Frama C use Vsiual C?
> Thanks in advance

-------------- next part --------------
An HTML attachment was scrubbed...