Eventually, some configuration flags control the general result of the compilation or some developers extensions:
BUILD_TESTING is a conventional variable (which is not a cmake
internal variable) which specifies that the regression tests should
also be compiled.
BUILD_SHARED_LIBS is a cmake internal variable which specifies
whether the libraries should be dynamics as opposed to static
DIET_USE_DART enables DART reporting system (refer to
http://public.kitware.com/Dart) which is used for constructing
DIET's dashboard (see http://graal.ens-lyon.fr/DietDashboard).
Note that setting the DIET_USE_DART will force the option
BUILD_TESTING to be set.
Maintainer By default cmake offers four different build modes
that one toggles by positioning CMAKE_BUILD_TYPE built-in
variable (to Debug, Release, RelWithDebInfo
and MinSizeRel).
Maintainer is an additional mode which fulfills two basic needs
of the task of the maintainer of Diet.
The first preventive task is to provide code free from any compilation
and link warnings.
The second corresponds to the snafu stage which is to debug the code.
For reaching those goals the Maintainer build type sets the
compilers flags, respectively the linker flags, with all the possible
warning flags activated, resp. with the additional debug flags.