Browse Source

Add dependency on xercesc

Former-commit-id: 595b4d294d
tempestpy_adaptions
sjunges 9 years ago
parent
commit
2f49418e63
  1. 1
      src/CMakeLists.txt

1
src/CMakeLists.txt

@ -101,6 +101,7 @@ endif(ADDITIONAL_LINK_DIRS)
## #
###############################################################################
add_library(storm ${STORM_LIB_SOURCES} ${STORM_LIB_HEADERS} ${STORM_GENERATED_SOURCES}) # Adding headers for xcode
add_dependencies(storm xercesc)
add_executable(storm-main ${STORM_MAIN_SOURCES} ${STORM_MAIN_HEADERS})
target_link_libraries(storm-main storm) # Adding headers for xcode
set_target_properties(storm-main PROPERTIES OUTPUT_NAME "storm")

Loading…
Cancel
Save