boost targets are now exported

resources/3rdparty/CMakeLists.txt

@@ -69,10 +69,13 @@ endif ()
 if ((NOT Boost_LIBRARY_DIRS) OR ("${Boost_LIBRARY_DIRS}" STREQUAL ""))
     set(Boost_LIBRARY_DIRS "${Boost_INCLUDE_DIRS}/stage/lib")
 endif ()
-link_directories(${Boost_LIBRARY_DIRS})
 
-include_directories(${Boost_INCLUDE_DIRS})
-list(APPEND STORM_LINK_LIBRARIES ${Boost_LIBRARIES})
+set(CNTVAR 1)
+foreach(BOOSTLIB ${Boost_LIBRARIES})
+    add_imported_library(target-boost-${CNTVAR} SHARED ${BOOSTLIB} ${Boost_INCLUDE_DIRS})
+    list(APPEND STORM_DEP_TARGETS target-boost-${CNTVAR}_SHARED)
+    MATH(EXPR CNTVAR "${CNTVAR}+1")
+endforeach()
 message(STATUS "Storm - Using boost ${Boost_VERSION} (library version ${Boost_LIB_VERSION}).")
 # set the information for the config header
 set(STORM_BOOST_INCLUDE_DIR "${Boost_INCLUDE_DIRS}")