aboutsummaryrefslogtreecommitdiff
path: root/CMakeLists.txt
diff options
context:
space:
mode:
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r--CMakeLists.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 6d8d041..28f5280 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -6,9 +6,9 @@ set(LIBRARY_NAME storm)
include(CMakeDependentOption)
option(BUILD_SHARED_LIBS "Compile shared libraries" OFF)
-cmake_dependent_option(STORM_BUILD_TESTS
+option(STORM_BUILD_TESTS
"Compile StormLib test application" OFF
- "BUILD_TESTING" OFF # Stay coherent with CTest variables
+# "BUILD_TESTING" OFF # Stay coherent with CTest variables
)
set(SRC_FILES