+option(enable_supernovae "Supernovae mode." off)
+option(enable_tracing "Tracing MSG (for now) simulations for visualization." off)
+option(enable_coverage "Enable coverage." off)
+option(enable_memcheck "Enable memcheck." off)
+option(enable_print_message "Enable print message during config." off)