From b8adc74ef9662a26e9029a787d583e412a1018cf Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 27 Jul 2016 12:22:38 +0200 Subject: [PATCH] gspn branch compiles and links with cln now Former-commit-id: 962ffb9334415bf043b1385e6a608da32a01b5c3 --- CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index 46cf1eaaf..d6ff09d75 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -35,6 +35,7 @@ option(STORM_PYTHON "Builds the API for Python" OFF) option(STORM_COMPILE_WITH_CCACHE "Compile using CCache [if found]" ON) mark_as_advanced(STORM_COMPILE_WITH_CCACHE) option(STORM_LOG_DISABLE_DEBUG "Disable log and trace message support" OFF) +option(STORM_USE_CLN_NUMBERS "Sets whether CLN or GMP numbers should be used" ON) set(BOOST_ROOT "" CACHE STRING "A hint to the root directory of Boost (optional).") 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).")