deactivating Z3 by default

IDNI · Feb 4, 2025 · cefaf94 · cefaf94
1 parent 4bd95b3
commit cefaf94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -28,7 +28,7 @@ option(TAU_BUILD_BENCHMARK         "Build benchmark tests"                 OFF)
 option(TAU_WINDOWS_PACKAGE         "Build Windows package"                 OFF)
 option(TAU_WINDOWS_ZIP_PACKAGE     "Build Windows zip package"             OFF)
 option(TAU_GENERATE_PARSERS        "Generates parsers from TGF"            OFF)
-option(TAU_WITH_Z3                 "Builds with Z3"                        ON)
+option(TAU_WITH_Z3                 "Builds with Z3"                        OFF)
 set_property(CACHE TAU_BUILD_DOC               PROPERTY STRINGS "OFF" "ON")
 set_property(CACHE TAU_BUILD_STATIC_LIBRARY    PROPERTY STRINGS "OFF" "ON")
 set_property(CACHE TAU_BUILD_SHARED_LIBRARY    PROPERTY STRINGS "OFF" "ON")