--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on June 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c-discuss Digest, Vol 37, Issue 11



On Sat, Jun 18, 2011 at 6:39 PM, Christofi Maria
<Maria.Christofi at gemalto.com> wrote:
> Actually, when I am typing frama-c -jessie-why-opt="-fast-wp" test.c (if we suppose that the file was test.c), it is running gcc and that's all.
>
> So in my window, it appears preprocessing with "gcc -C -E -I test.c" and it finishes there. Is that normal? Am I doing something wrong?

Ahem, you are doing two things wrong.

One is replying to the mailing-list digest by quoting the entire
digest and without changing the title.

The other is forgetting the "-jessie" option. "-jessie-why-opt=?" only
configures Jessie, but does not launch it.

Pascal