only build xercesc if xml input format support is required

Former-commit-id: ce58e72eed

CMakeLists.txt

@@ -34,6 +34,7 @@ set(MSAT_ROOT "" CACHE STRING "The root directory of MathSAT (if available).")
 set(ADDITIONAL_INCLUDE_DIRS "" CACHE STRING "Additional directories added to the include directories.")
 set(ADDITIONAL_LINK_DIRS "" CACHE STRING "Additional directories added to the link directories.")
 set(CUSTOM_BOOST_ROOT "" CACHE STRING "A custom path to the Boost root directory.")
+set(STORM_SUPPORT_XML_INPUT_FORMATS 0)
 
 # If the DEBUG option was turned on, we will target a debug version and a release version otherwise.
 if (STORM_DEBUG)

resources/3rdparty/CMakeLists.txt

@@ -1,8 +1,9 @@
 add_custom_target(resources) 
 add_custom_target(test-resources)
 
-include(ExternalProject)
-ExternalProject_Add(
+if(STORM_SUPPORT_XML_FORMATS)
+    include(ExternalProject)
+    ExternalProject_Add(
             xercesc
             SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/xercesc-3.1.2
             CONFIGURE_COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/xercesc-3.1.2/configure --prefix=${CMAKE_CURRENT_BINARY_DIR}/xercesc-3.1.2 --libdir=${CMAKE_CURRENT_BINARY_DIR}/xercesc-3.1.2/lib CC=${CMAKE_C_COMPILER} CXX=${CMAKE_CXX_COMPILER} CFLAGS=-O3 CXXFLAGS=-O3
@@ -12,8 +13,9 @@ ExternalProject_Add(
             LOG_CONFIGURE ON
             LOG_BUILD ON
             LOG_INSTALL ON
-)
-add_dependencies(resources xercesc)
+    )
+    add_dependencies(resources xercesc)
+endif()
 
 ExternalProject_Add(
     glpk