From 99d1b915dbaec161cafea9b3066c6c1bf692101a Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Sun, 31 Jul 2016 21:01:01 +0200
Subject: [PATCH] Use .so instead of .a for xerces

Former-commit-id: 6969aaf7d7793c6828fe44d55e0c0e9cf7b33444
---
 resources/3rdparty/include_xerces.cmake | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/resources/3rdparty/include_xerces.cmake b/resources/3rdparty/include_xerces.cmake
index dabf8cb2c..d2c52e094 100644
--- a/resources/3rdparty/include_xerces.cmake
+++ b/resources/3rdparty/include_xerces.cmake
@@ -21,11 +21,13 @@ if(USE_XERCES)
         set(XERCES_ROOT ${STORM_3RDPARTY_BINARY_DIR}/xercesc-3.1.2)
         set(XERCESC_INCLUDE ${XERCES_ROOT}/include)
         set(XERCES_LIBRARY_PATH ${XERCES_ROOT}/lib)
+
         if(BUILD_STATIC)
             set(XERCESC_LIBRARIES ${XERCES_LIBRARY_PATH}/libxerces-c${STATIC_EXT})
         else()
             set(XERCESC_LIBRARIES ${XERCES_LIBRARY_PATH}/libxerces-c${DYNAMIC_EXT})
         endif()
+
         add_dependencies(resources xercesc)
     endif()