From 7b79725421d6b95f1c05ba5312ef75f4a98c8224 Mon Sep 17 00:00:00 2001 From: sjunges Date: Tue, 25 Aug 2015 13:27:28 +0200 Subject: [PATCH] Allow hints for z3 Former-commit-id: 24885ab1bc11f225f0cf78f3f5cc10d396d7d17b --- CMakeLists.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 87862088e..ef0a82022 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -27,7 +27,8 @@ 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) -set(GUROBI_ROOT "" CACHE STRING "The root directory of Gurobi (if available).") +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.") set(MSAT_ROOT "" CACHE STRING "The root directory of MathSAT (if available).") set(ADDITIONAL_INCLUDE_DIRS "" CACHE STRING "Additional directories added to the include directories.")