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

  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_CPP_BASE_PATH "@PROJECT_SOURCE_DIR@"
  11. // The directory of the sources from which the functional tests were built.
  12. #define STORM_CPP_TESTS_BASE_PATH "@STORM_CPP_TESTS_BASE_PATH@"
  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 "@STORM_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 MathSAT is available and to be used (define/undef)
  30. #cmakedefine STORM_HAVE_MSAT
  31. // Whether Intel Threading Building Blocks are available and to be used (define/undef)
  32. #cmakedefine STORM_HAVE_INTELTBB
  33. // Whether support for parametric systems should be enabled
  34. #cmakedefine PARAMETRIC_SYSTEMS
  35. // Whether CLN is available and to be used (define/undef)
  36. #cmakedefine STORM_HAVE_CLN
  37. // Whether carl is available and to be used.
  38. #cmakedefine STORM_HAVE_CARL
  39. #cmakedefine STORM_USE_CLN_NUMBERS
  40. #cmakedefine USE_XERCES
  41. // Whether smtrat is available and to be used.
  42. #cmakedefine STORM_HAVE_SMTRAT
  43. // Whether HyPro is available and to be used.
  44. #cmakedefine STORM_HAVE_HYPRO
  45. #cmakedefine STORM_LOGGING_FRAMEWORK
  46. #cmakedefine STORM_LOG_DISABLE_DEBUG
  47. #endif // STORM_GENERATED_STORMCONFIG_H_