You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 

70 lines
2.0 KiB

/*
* StoRM - Build-in Options
*
* This file is parsed by CMake during makefile generation
* It contains information such as the base path to the test/example data
*/
#ifndef STORM_GENERATED_STORMCONFIG_H_
#define STORM_GENERATED_STORMCONFIG_H_
// The directory of the sources from which Storm was built.
#define STORM_SOURCE_DIR "@PROJECT_SOURCE_DIR@"
// The directory of the test resources used in the tests (model files, ...).
#define STORM_TEST_RESOURCES_DIR "@STORM_TEST_RESOURCES_DIR@"
// The directory in which Storm was built.
#define STORM_BUILD_DIR "@CMAKE_BINARY_DIR@"
// Boost include directory used during compilation.
#define STORM_BOOST_INCLUDE_DIR "@STORM_BOOST_INCLUDE_DIR@"
// Carl include directory used during compilation.
#define STORM_CARL_INCLUDE_DIR "@carl_INCLUDE_DIR@"
// Whether Gurobi is available and to be used (define/undef)
#cmakedefine STORM_HAVE_GUROBI
// Whether CUDA is available (define/undef)
#@STORM_CPP_CUDA_DEF@ STORM_HAVE_CUDA
// Whether GLPK is available and to be used (define/undef)
#cmakedefine STORM_HAVE_GLPK
// Whether CudaForStorm is available and to be used (define/undef)
#@STORM_CPP_CUDAFORSTORM_DEF@ STORM_HAVE_CUDAFORSTORM
// Whether Z3 is available and to be used (define/undef)
#cmakedefine STORM_HAVE_Z3
// Whether MathSAT is available and to be used (define/undef)
#cmakedefine STORM_HAVE_MSAT
// Whether Intel Threading Building Blocks are available and to be used (define/undef)
#cmakedefine STORM_HAVE_INTELTBB
// Whether support for parametric systems should be enabled
#cmakedefine PARAMETRIC_SYSTEMS
// Whether CLN is available and to be used (define/undef)
#cmakedefine STORM_HAVE_CLN
// Whether carl is available and to be used.
#cmakedefine STORM_HAVE_CARL
#cmakedefine STORM_USE_CLN_NUMBERS
#cmakedefine STORM_HAVE_XERCES
// Whether smtrat is available and to be used.
#cmakedefine STORM_HAVE_SMTRAT
// Whether HyPro is available and to be used.
#cmakedefine STORM_HAVE_HYPRO
#cmakedefine STORM_LOGGING_FRAMEWORK
#cmakedefine STORM_LOG_DISABLE_DEBUG
#endif // STORM_GENERATED_STORMCONFIG_H_