From c007c8e6998d0776901911e8ebe30eebce1505c2 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 25 Feb 2016 15:40:29 +0100
Subject: [PATCH] add sylvan to the resources target

Former-commit-id: 70e3c16f555d8a60ea6f2f6c91fcc91692175095
---
 resources/3rdparty/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index d935a003f..19a64fa06 100644
--- 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