--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on May 2013 ---
Hi, 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130528/18cf10fd/attachment.html>