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.

85 lines
2.5 KiB

  1. /*
  2. * StoRM - Build-in Options
  3. *
  4. * This file is parsed by CMake during makefile generation
  5. * It contains information such as the base path to the test/example data
  6. */
  7. #ifndef STORM_GENERATED_STORMCONFIG_H_
  8. #define STORM_GENERATED_STORMCONFIG_H_
  9. // The directory of the sources from which Storm was built.
  10. #define STORM_SOURCE_DIR "@PROJECT_SOURCE_DIR@"
  11. // The directory of the test resources used in the tests (model files, ...).
  12. #define STORM_TEST_RESOURCES_DIR "@STORM_TEST_RESOURCES_DIR@"
  13. // The directory in which Storm was built.
  14. #define STORM_BUILD_DIR "@CMAKE_BINARY_DIR@"
  15. // Boost include directory used during compilation.
  16. #define STORM_BOOST_INCLUDE_DIR "@STORM_BOOST_INCLUDE_DIR@"
  17. // Carl include directory used during compilation.
  18. #define STORM_CARL_INCLUDE_DIR "@carl_INCLUDE_DIR@"
  19. // Whether Gurobi is available and to be used (define/undef)
  20. #cmakedefine STORM_HAVE_GUROBI
  21. // Whether CUDA is available (define/undef)
  22. #@STORM_CPP_CUDA_DEF@ STORM_HAVE_CUDA
  23. // Whether GLPK is available and to be used (define/undef)
  24. #cmakedefine STORM_HAVE_GLPK
  25. // Whether CudaForStorm is available and to be used (define/undef)
  26. #@STORM_CPP_CUDAFORSTORM_DEF@ STORM_HAVE_CUDAFORSTORM
  27. // Whether Z3 is available and to be used (define/undef)
  28. #cmakedefine STORM_HAVE_Z3
  29. // Whether the optimization feature of Z3 is available and to be used (define/undef)
  30. #cmakedefine STORM_HAVE_Z3_OPTIMIZE
  31. // Version of Z3 used by Storm.
  32. #define STORM_Z3_VERSION_MAJOR @STORM_Z3_VERSION_MAJOR@
  33. #define STORM_Z3_VERSION_MINOR @STORM_Z3_VERSION_MINOR@
  34. #define STORM_Z3_VERSION_PATCH @STORM_Z3_VERSION_PATCH@
  35. #define STORM_Z3_VERSION @Z3_VERSION@
  36. #cmakedefine STORM_Z3_API_USES_STANDARD_INTEGERS
  37. // Whether MathSAT is available and to be used (define/undef)
  38. #cmakedefine STORM_HAVE_MSAT
  39. // Whether Intel Threading Building Blocks are available and to be used (define/undef)
  40. #cmakedefine STORM_HAVE_INTELTBB
  41. // Whether support for parametric systems should be enabled
  42. #cmakedefine PARAMETRIC_SYSTEMS
  43. // Whether CLN is available and to be used (define/undef)
  44. #cmakedefine STORM_HAVE_CLN
  45. // Whether GMP is available (it is always available nowadays)
  46. #define STORM_HAVE_GMP
  47. // Whether carl is available and to be used.
  48. #cmakedefine STORM_HAVE_CARL
  49. #cmakedefine STORM_USE_CLN_EA
  50. #cmakedefine STORM_USE_CLN_RF
  51. #cmakedefine STORM_HAVE_XERCES
  52. // Whether smtrat is available and to be used.
  53. #cmakedefine STORM_HAVE_SMTRAT
  54. // Whether HyPro is available and to be used.
  55. #cmakedefine STORM_HAVE_HYPRO
  56. #cmakedefine STORM_LOGGING_FRAMEWORK
  57. #cmakedefine STORM_LOG_DISABLE_DEBUG
  58. #endif // STORM_GENERATED_STORMCONFIG_H_