support for parametric systems to c++

Former-commit-id: 63ddba8832
11 years ago · 419f5c22c8
2 changed files with 5 additions and 1 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -84,7 +84,7 @@ endif()

 if(${PARAMETRIC_SYSTEMS})
 	find_package(carl REQUIRED)
-	set(STORM_HAVE_CARL)
+	set(STORM_HAVE_CARL ON)
 endif()

 message(STATUS "StoRM - CMAKE_BUILD_TYPE: ${CMAKE_BUILD_TYPE}")
--- a/storm-config.h.in
+++ b/storm-config.h.in
@ -33,7 +33,11 @@
 // Whether Intel Threading Building Blocks are available and to be used (define/undef)
 #@STORM_CPP_INTELTBB_DEF@ STORM_HAVE_INTELTBB

+// Whether support for parametric systems should be enabled
+#cmakedefine PARAMETRIC_SYSTEMS
+
 // Whether carl is available and to be used.
 #cmakedefine STORM_HAVE_CARL

+
 #endif // STORM_GENERATED_STORMCONFIG_H_