From 1658b98a263138bc03ad34696fe52064ee938d3b Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Tue, 26 May 2020 11:14:22 -0700
Subject: [PATCH] report xerces-c version

---
 resources/3rdparty/include_xerces.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/3rdparty/include_xerces.cmake b/resources/3rdparty/include_xerces.cmake
index ddd9e8a0c..203fd595a 100644
--- a/resources/3rdparty/include_xerces.cmake
+++ b/resources/3rdparty/include_xerces.cmake
@@ -15,7 +15,7 @@ if(USE_XERCESC)
 
 
         # find_package(CURL)
-        message (STATUS "Storm (GSPN) - Linking with xercesc: ${XercesC_LIBRARIES}")
+        message (STATUS "Storm (GSPN) - Linking with Xerces-c ${XercesC_VERSION}: ${XercesC_LIBRARIES}")
 
         list(APPEND STORM_GSPN_LINK_LIBRARIES ${XercesC_LIBRARIES} ${COREFOUNDATION_LIBRARY} ${CORESERVICES_LIBRARY} ${CURL_LIBRARIES})
     else()