diff --git a/CMakeLists.txt b/CMakeLists.txt index af4d02524..95d5cb822 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -53,7 +53,6 @@ option(USE_HYPRO "Sets whether HyPro should be included." OFF) mark_as_advanced(USE_HYPRO) option(STORM_USE_SPOT_SYSTEM "Sets whether the system version of Spot should be included (if found)." ON) option(STORM_USE_SPOT_SHIPPED "Sets whether Spot should be downloaded and installed (if system version is not available or not used)." OFF) -MARK_AS_ADVANCED(STORM_FORCE_SHIPPED_SPOT) option(XML_SUPPORT "Sets whether xml based format parsing should be included." ON) option(FORCE_COLOR "Force color output" OFF) mark_as_advanced(FORCE_COLOR)