From c057e437e4a6877f1cfa19f8a37fd95df7be3100 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Wed, 21 Jul 2021 12:36:51 +0200 Subject: [PATCH] CMAKE: Do not mark STORM_USE_SPOT as advanced. --- CMakeLists.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index b7fc55f9d..5442379a6 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -52,7 +52,6 @@ option(USE_HYPRO "Sets whether HyPro should be included." OFF) mark_as_advanced(USE_HYPRO) option(STORM_FORCE_LTL_SUPPORT "Sets whether support for LTL model checking needs to be included." OFF) option(STORM_USE_SPOT "Sets whether Spot should be included." ON) -MARK_AS_ADVANCED(STORM_USE_SPOT) option(STORM_FORCE_SHIPPED_SPOT "Sets whether the Spot sources should be downloaded and installed." OFF) MARK_AS_ADVANCED(STORM_FORCE_SHIPPED_SPOT) option(XML_SUPPORT "Sets whether xml based format parsing should be included." ON)