cmake: Added option to specify a path to the qvbs benchmarks.

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})

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

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