Ticket #75: target_deps.patch

File target_deps.patch, 1.5 KB (added by Lukáš Zaoral, 3 years ago)

dios/CMakeLists.txt

diff -rN -u old-divine/dios/CMakeLists.txt new-divine/dios/CMakeLists.txt

-                      old
+                      new
 add_definitions( -Wno-overlength-strings ${DIVINE_DEFINES} )
 file( GLOB SRC_rt ${divine_SOURCE_DIR}/divine/rt/*.cpp )
 add_library( divine-rt ${SRC_rt} ${dios_FILES} ${dios_native_FILES} dios_list.cpp dios_native_list.cpp )
+add_dependencies( divine-rt cxxabi_static cxx_static )
 target_link_libraries( divine-rt divine-cc )
 set_target_properties( divine-rt PROPERTIES POSITION_INDEPENDENT_CODE ON )
 install( TARGETS divine-rt DESTINATION lib )

diff -rN -u old-divine/divine/CMakeLists.txt new-divine/divine/CMakeLists.txt

-                      old
+                      new
                                  LLVMObject LLVMTransformUtils ${CC_TGTS}
                                  clang clangBasic clangCodeGen lldELF )
 target_link_libraries( divine-smt ${Z3_LIBRARIES} ${STP_LIBRARIES} )
+target_link_libraries( divine-dbg divine-vm )
+target_link_libraries( divine-vm divine-cc )
+target_link_libraries( divine-dbg divine-vm divine-smt )
 target_link_libraries( divine-mc divine-vm divine-dbg divine-smt divine-rt divine-cc # FIXME divine-cc
                                  liblart LLVMBitReader LLVMBitWriter LLVMLinker )
 target_link_libraries( divine-ui divine-rt divine-cc divine-mc divine-ltl divine-ra )