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 (on Mac system this option is automatically set to ON,
as static compilation of binaries seems to be forbidden on these
systems)
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.