add sylvan to the resources target

Former-commit-id: 70e3c16f55
9 years ago · c007c8e699
1 changed files with 1 additions and 0 deletions
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@ -71,6 +71,7 @@ ExternalProject_Get_Property(sylvan binary_dir)
 set(Sylvan_INCLUDE_DIR "${STORM_SYLVAN_ROOT}/src" PARENT_SCOPE)
 set(Sylvan_LIBRARY "${binary_dir}/src/libsylvan.a" PARENT_SCOPE)

+add_dependencies(resources sylvan)

 ExternalProject_Add(
        googletest