build: add flag to enable/disable LydiaSyft tests

whitemech · Oct 19, 2024 · 135dd39 · 135dd39
1 parent 91f23dc
commit 135dd39
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -51,6 +51,12 @@ else()
   find_package(Z3 REQUIRED)
 endif()
 
+if (LYDIASYFT_DISABLE_TESTS)
+  message("-- LydiaSyft tests disabled")
+else()
+  message("-- LydiaSyft tests enabled")
+endif()
+
 
 set(LYDIA_DIR ${PROJECT_SOURCE_DIR}/submodules/lydia)
 set(WITH_SYFT OFF)
@@ -70,4 +76,7 @@ message(STATUS EXT_LIBRARIES_PATH ${EXT_LIBRARIES_PATH})
 enable_testing()
 
 add_subdirectory(src)
-add_subdirectory(test)
+
+if (NOT LYDIASYFT_DISABLE_TESTS)
+  add_subdirectory(test)
+endif()