From 867ea0256a41e53437c0048927bf832ac1e9c826 Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Fri, 21 Jun 2019 10:30:31 +0000
Subject: [PATCH] cmake: Link lld into divine/cc instead of divcc.
---
divine/CMakeLists.txt | 2 +-
tools/CMakeLists.txt | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/divine/CMakeLists.txt b/divine/CMakeLists.txt
index 5152a3d0a..0185c362c 100644
--- a/divine/CMakeLists.txt
+++ b/divine/CMakeLists.txt
@@ -58,7 +58,7 @@ llvm_map_components_to_libnames( CC_TGTS ${LLVM_TARGETS_TO_BUILD} )
target_link_libraries( divine-cc LLVMCore LLVMSupport LLVMMC LLVMIRReader
LLVMBitReader LLVMBitWriter LLVMLinker
LLVMObject LLVMTransformUtils ${CC_TGTS}
- clang clangBasic clangCodeGen )
+ clang clangBasic clangCodeGen lldELF )
target_link_libraries( divine-smt ${Z3_LIBRARIES} ${STP_LIBRARIES} )
target_link_libraries( divine-dbg divine-vm )
target_link_libraries( divine-mc divine-vm divine-dbg divine-smt divine-rt divine-cc # FIXME divine-cc
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index b13691a01..58cbfc6ca 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -11,7 +11,7 @@ target_link_libraries( runtime-cc divine-cc )
target_link_libraries( runtime-ld divine-cc )
target_link_libraries( divcc divine-cc divine-rt divine-ui )
target_link_libraries( divcc LLVMTarget LLVMAsmPrinter LLVMOption )
-target_link_libraries( divcc lldELF clangFrontend clangDriver )
+target_link_libraries( divcc clangFrontend clangDriver )
add_executable( divine divine.cpp )
set_source_files_properties( lart.cpp PROPERTIES COMPILE_FLAGS -fno-rtti )
--
GitLab