--- layout: fc_discuss_archives title: Message 49 from Frama-C-discuss on May 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C predefined macros



Hello,

No such predefined macro currently exists. Feel free to use your own.

On Tue, May 28, 2013 at 8:38 PM, Daniel Garcia <dhekir at gmail.com> wrote:
> I'd like to perform some conditional compilation when using Frama-C (for
> instance, when defining functions related to Frama_C_show_each), so I'd like
> to know if there is already some predefined macro which is always defined
> when using Frama-C (and only in this case), so that I can do something like:
>
> #ifdef FRAMAC
> ... some code
> #else
> ... some other code
> #endif
>
> I know I can use "-cpp-extra-args -DFRAMAC" for instance, but I'm asking in
> case there is already such a macro.


--
Boris