export imported carl targets

8 years ago · b1ce4acc33
1 changed files with 2 additions and 0 deletions
--- a/resources/cmake/stormConfig.cmake.in
+++ b/resources/cmake/stormConfig.cmake.in
@ -2,6 +2,8 @@ set(storm_VERSION @storm_VERSION@)

 get_filename_component(storm_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH)

+include("@carl_CMAKE_DIR@/carlConfig.cmake")
+
@DEP_TARGETS@

@EXP_OPTIONS@