diff --git a/CMakeLists.txt b/CMakeLists.txt index 2dec13d80..4ff9ea3a6 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -57,6 +57,7 @@ set(GUROBI_ROOT "" CACHE STRING "A hint to the root directory of Gurobi (optiona set(Z3_ROOT "" CACHE STRING "A hint to the root directory of Z3 (optional).") set(CUDA_ROOT "" CACHE STRING "The hint to the root directory of CUDA (optional).") set(MSAT_ROOT "" CACHE STRING "The hint to the root directory of MathSAT (optional).") +set(STORM_QVBS_ROOT "" CACHE STRING "The hint to the root directory of the Quantitative Verification Benchmark Set (QVBS) (optional).") set(ADDITIONAL_INCLUDE_DIRS "" CACHE STRING "Additional directories added to the include directories.") set(ADDITIONAL_LINK_DIRS "" CACHE STRING "Additional directories added to the link directories.") set(USE_XERCESC ${XML_SUPPORT}) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 4242cdbc9..152fb9750 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -214,6 +214,7 @@ endif() ############################################################# include(${STORM_3RDPARTY_SOURCE_DIR}/include_cudd.cmake) + ############################################################# ## ## carl @@ -405,6 +406,23 @@ if (ENABLE_MSAT) list(APPEND STORM_DEP_TARGETS msat_SHARED) endif(ENABLE_MSAT) +############################################################# +## +## QVBS (Quantitative verification benchmark set) +## +############################################################# + +set(STORM_HAVE_QVBS OFF) +if (NOT "${STORM_QVBS_ROOT}" STREQUAL "") + if( EXISTS "${STORM_QVBS_ROOT}/index.json") + set(STORM_HAVE_QVBS ON) + message (STATUS "Storm - Enabled inputs from QVBS located at ${STORM_QVBS_ROOT}") + else() + message(FATAL_ERROR "No file 'index.json' in provided QVBS root directory ${STORM_QVBS_ROOT}") + endif() +endif() + + ############################################################# ## ## Xerces diff --git a/storm-config.h.in b/storm-config.h.in index 55d2247d3..128e5a497 100644 --- a/storm-config.h.in +++ b/storm-config.h.in @@ -51,6 +51,12 @@ // Whether MathSAT is available and to be used (define/undef) #cmakedefine STORM_HAVE_MSAT +// Whether benchmarks from QVBS can be used as input +#cmakedefine STORM_HAVE_QVBS + +// The root directory of QVBS +#cmakedefine STORM_QVBS_ROOT "@STORM_QVBS_ROOT@" + // Whether Intel Threading Building Blocks are available and to be used (define/undef) #cmakedefine STORM_HAVE_INTELTBB