[Dune] [#670] Remove obscure "DUNE developer mode"

Dune dune at dune-project.org
Thu Nov 26 14:33:23 CET 2009


THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Sven Marnach (sven) 

Attached to Project - Dune
Summary - Remove obscure "DUNE developer mode"
Task Type - Feature Request
Category - Common
Status - New
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - SVN
Due in Version - Undecided
Due Date - Undecided
Details - configure has a flag called --enable-dunedevel.  The "documentation" of this flag says

  --enable-dunedevel      activate Dune-Developer-mode

This mode appears to do two things:

  1. Activate some Barton-Nackman interface checks as long as NDEBUG is not defined.

  2. Output some additional information if an exception is thrown (file, line, function)

I would just remove this mode.  1. can also be switched on and off by the NDEBUG switch.  2. can just be switched on always -- it is expensive anyway to throw an exception.  Additionally, instead of writing the additional information to a string stream, we could just use the preprocessor to "stringify" the information at compile time.

In case the DUNE developer mode is going to stay, it should at least be documented.

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=670

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.




More information about the Dune mailing list