--- layout: fc_discuss_archives title: Message 49 from Frama-C-discuss on May 2013 ---
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