if(enable_supernovae AND enable_model-checking)
set(enable_model-checking false CACHE TYPE INTERNAL FORCE)
message("\n\nWith supernovae mode the model checking must be disable.!!!\n\n")
endif(enable_supernovae AND enable_model-checking)
if(enable_supernovae AND enable_model-checking)
set(enable_model-checking false CACHE TYPE INTERNAL FORCE)
message("\n\nWith supernovae mode the model checking must be disable.!!!\n\n")
endif(enable_supernovae AND enable_model-checking)