cmake_minimum_required(VERSION 3.0.0)
project(storm-version)
find_package(storm REQUIRED)

include(${CMAKE_CURRENT_SOURCE_DIR}/macros.cmake)


# Set configuration
set(STORM_DIR ${storm_DIR})
set(STORM_VERSION ${storm_VERSION})
set(STORM_LIBS ${storm_LIBRARIES})


# Check for optional Storm libraries
storm_with_lib(DFT)
storm_with_lib(GSPN)
storm_with_lib(PARS)
storm_with_lib(POMDP)


# Set variables
set_variable_string(STORM_CLN_EA_BOOL ${STORM_USE_CLN_EA})
set_variable_string(STORM_CLN_RF_BOOL ${STORM_USE_CLN_RF})

set_variable_string(STORM_XERCES_BOOL ${STORM_HAVE_XERCES})
set_variable_string(STORM_SPOT_BOOL ${STORM_HAVE_SPOT})

set_variable_string(HAVE_STORM_DFT_BOOL ${HAVE_STORM_DFT})
set_variable_string(HAVE_STORM_GSPN_BOOL ${HAVE_STORM_GSPN})
set_variable_string(HAVE_STORM_PARS_BOOL ${HAVE_STORM_PARS})
set_variable_string(HAVE_STORM_POMDP_BOOL ${HAVE_STORM_POMDP})


# Write configuration file
configure_file(${CMAKE_CURRENT_SOURCE_DIR}/config.py.in ${CMAKE_CURRENT_BINARY_DIR}/generated/config.py @ONLY)
