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] Frama-C predefined macros

  • Subject: [Frama-c-discuss] Frama-C predefined macros
  • From: boris at yakobowski.org (Boris Yakobowski)
  • Date: Thu, 30 May 2013 14:33:27 +0200
  • In-reply-to: <CAOT7Vm2FfY4hGUHMFPX6UQd=2100Qnpm1udoq2+4NnqQihitJg@mail.gmail.com>
  • References: <CAOT7Vm2FfY4hGUHMFPX6UQd=2100Qnpm1udoq2+4NnqQihitJg@mail.gmail.com>
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