Browse Source
Cmake: Marking two options as advanced.
tempestpy_adaptions
Tim Quatmann
4 years ago
No known key found for this signature in database
GPG Key ID: 6EDE19592731EEC3
1 changed files with
2 additions and
0 deletions
-
CMakeLists.txt
|
|
|
@ -47,7 +47,9 @@ set(STORM_CARL_DIR_HINT "" CACHE STRING "A hint where the preferred CArL version |
|
|
|
option(STORM_FORCE_SHIPPED_CARL "Sets whether the shipped version of carl is to be used no matter whether carl is found or not." OFF) |
|
|
|
MARK_AS_ADVANCED(STORM_FORCE_SHIPPED_CARL) |
|
|
|
option(USE_SMTRAT "Sets whether SMT-RAT should be included." OFF) |
|
|
|
mark_as_advanced(USE_SMTRAT) |
|
|
|
option(USE_HYPRO "Sets whether HyPro should be included." OFF) |
|
|
|
mark_as_advanced(USE_HYPRO) |
|
|
|
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) |
|
|
|
|
