From 1d5faef301ee39159b650cec1abb646034bda583 Mon Sep 17 00:00:00 2001 From: sjunges Date: Mon, 31 Aug 2015 11:03:42 +0200 Subject: [PATCH] cmake use carl flag Former-commit-id: 75ff508329de2eead4e48a3e958606d3ebce1ee5 --- CMakeLists.txt | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 5d67dcefa..ce66c8c1a 100644 --- a/CMakeLists.txt +++ b/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}")