From 81d5105d25f3d7d958a5dfae015db7af2b0c9359 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 22 Jul 2016 17:44:09 +0200
Subject: [PATCH] still a linker errror with xerces

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

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index c93b5fa7a..368fe0f12 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -335,6 +335,9 @@ if(${OPERATING_SYSTEM} MATCHES "Linux")
     endif()
 endif()
 
+
+
+list(APPEND STORM_LINK_LIBRARIES curl)
 #############################################################
 ##
 ##	Google Test gtest