Merge branch 'future' into monolithic-dft

Former-commit-id: 73da4befcc

CMakeLists.txt

@@ -521,6 +521,7 @@ endif(ENABLE_MSAT)
 ##
 #############################################################
 
+if(STORM_SUPPORT_XML_INPUT_FORMATS)
     find_package(Xerces)
     if(NOT XERCES_FOUND)
             message(STATUS "Use shipped version of xerces")
@@ -535,6 +536,7 @@ if(STORM_HAVE_XERCES)
             include_directories(${XERCESC_INCLUDE})
             list(APPEND STORM_LINK_LIBRARIES ${XERCESC_LIBRARIES})
     endif()
+endif()
 
 #############################################################
 ##
@@ -587,7 +589,7 @@ add_subdirectory("${PROJECT_SOURCE_DIR}/resources/3rdparty/log4cplus-1.1.3-rc1")
 include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/log4cplus-1.1.3-rc1/include")
 include_directories("${PROJECT_BINARY_DIR}/resources/3rdparty/log4cplus-1.1.3-rc1/include") # This adds the defines.hxx file
 
-list(APPEND STORM_LINK_LIBRARIES log4cplusS)
+list(APPEND STORM_LINK_LIBRARIES log4cplus)
 if (UNIX AND NOT APPLE)
     list(APPEND STORM_LINK_LIBRARIES rt)
 endif(UNIX AND NOT APPLE)

resources/3rdparty/CMakeLists.txt

@@ -1,7 +1,7 @@
 add_custom_target(resources) 
 add_custom_target(test-resources)
 
-if(STORM_SUPPORT_XML_FORMATS)
+if(STORM_SUPPORT_XML_INPUT_FORMATS)
     include(ExternalProject)
     ExternalProject_Add(
             xercesc

resources/3rdparty/cudd-2.5.0/CMakeLists.txt

@@ -39,4 +39,4 @@ if(CMAKE_SIZEOF_VOID_P EQUAL 8)
 endif()
 
 # Add the library
-add_library(cudd ${CUDD_SOURCES} ${CUDD_HEADERS} ${CUDD_HEADERS_CXX} ${CUDD_SOURCES_CXX})
+add_library(cudd STATIC ${CUDD_SOURCES} ${CUDD_HEADERS} ${CUDD_HEADERS_CXX} ${CUDD_SOURCES_CXX})