From 419f5c22c89aa0b70ec4d4fc6ba54b5cc53cd822 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Tue, 18 Mar 2014 18:42:56 +0100 Subject: [PATCH] support for parametric systems to c++ Former-commit-id: 63ddba88328204edd056beae3eab29ea65f94949 --- CMakeLists.txt | 2 +- storm-config.h.in | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 0d1549fbd..9d88dc762 100644 --- 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}") diff --git a/storm-config.h.in b/storm-config.h.in index a2b2edba9..cc6e63c41 100644 --- 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_