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: dhekir at (Daniel Garcia)
  • Date: Tue, 28 May 2013 20:38:00 +0200


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
... some other code

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: <>