cmake use carl flag

Former-commit-id: 75ff508329

CMakeLists.txt

@@ -27,6 +27,7 @@ option(STORM_USE_INTELTBB "Sets whether the Intel TBB libraries should be used."
 option(STORM_USE_COTIRE "Sets whether Cotire should be used (for building precompiled headers)." OFF)
 option(LINK_LIBCXXABI "Sets whether libc++abi should be linked." OFF)
 option(USE_LIBCXX "Sets whether the standard library is libc++." OFF)
+option(USE_CARL "Sets whether carl should be included." ON)
 set(GUROBI_ROOT "" CACHE STRING "A hint to the root directory of Gurobi (optional).")
 set(Z3_ROOT "" CACHE STRING "A hint to the root directory of Z3 (optional).")
 set(CUDA_ROOT "" CACHE STRING "The root directory of CUDA.")
@@ -90,16 +91,19 @@ else()
     set(ENABLE_MSAT ON)
 endif()
 
-find_package(carl QUIET)
-if(carl_FOUND)
-    set(STORM_HAVE_CARL ON)
-endif()
+if(USE_CARL)
+    find_package(carl QUIET)
+    if(carl_FOUND)
+     set(STORM_HAVE_CARL ON)
+    endif()
 
-find_package(smtrat QUIET)
-if(smtrat_FOUND)
-    set(STORM_HAVE_SMTRAT ON)
+    find_package(smtrat QUIET)
+    if(smtrat_FOUND)
+        set(STORM_HAVE_SMTRAT ON)
+    endif()
 endif()
 
+
 message(STATUS "StoRM - CMAKE_BUILD_TYPE: ${CMAKE_BUILD_TYPE}")
 message(STATUS "StoRM - CMAKE_BUILD_TYPE (ENV): $ENV{CMAKE_BUILD_TYPE}")