-option(supernovae "Supernovae mode." off)
-option(tracing "Tracing mode." off)
-option(print_message "Enable print message during config." off)
+option(enable_print_message "Enable print message during config." off)
+option(enable_model-checking "" off)
+
+if(WIN32) #actually not enable with windows
+ message("Mode supernovae and maintainer disable with Windows.")
+ set(enable_supernovae false CACHE TYPE INTERNAL FORCE)
+ set(enable_maintainer_mode false CACHE TYPE INTERNAL FORCE)
+ set(with_context "windows" CACHE TYPE INTERNAL FORCE)
+endif(WIN32)