--- milena/ChangeLog | 6 ++++++ milena/mln/core/contract.hh | 9 +++++++++ 2 files changed, 15 insertions(+), 0 deletions(-) diff --git a/milena/ChangeLog b/milena/ChangeLog index 4fe4859..8cc0b25 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,3 +1,9 @@ +2008-09-17 Roland Levillain &lt;roland(a)lrde.epita.fr&gt; + + * mln/core/contract.hh (HAS_NDEBUG): New preprocessor constant. + [NDEBUG]: Expand as 1. + [!NDEBUG]: Expand as 0. + 2008-09-17 Matthieu Garrigues &lt;garrigues(a)lrde.epita.fr&gt; Add extension::fill routine and test. diff --git a/milena/mln/core/contract.hh b/milena/mln/core/contract.hh index c7d68da..e7a1a3b 100644 --- a/milena/mln/core/contract.hh +++ b/milena/mln/core/contract.hh @@ -35,6 +35,15 @@ # include <cassert> +// Define a preprocessor constant HAS_NDEBUG reflecting the existence +// of NDEBUG, as avised by the section Conditional Compilation of the +// GNU Coding Standards +// (http://www.gnu.org/prep/standards/html_node/Conditional-Compilation.html). +#ifdef NDEBUG +#define HAS_NDEBUG 1 +#else +#define HAS_NDEBUG 0 +#endif /// Assertion. # define mln_assertion(expr) assert(expr) -- 1.6.0.1