From 5607a7f1910e579acc0b93b1ae2caba88e7d5fd7 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Wed, 22 Mar 2023 11:13:20 +0000
Subject: Change `llvm_map_components_to_libnames` to `llvm_config` CMake
 function

With recent LLVM versions, this should allow to link against dynamic LLVM
libraries.
---
 lib/Module/CMakeLists.txt | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'lib/Module')

diff --git a/lib/Module/CMakeLists.txt b/lib/Module/CMakeLists.txt
index c81d395e..e1f548e8 100644
--- a/lib/Module/CMakeLists.txt
+++ b/lib/Module/CMakeLists.txt
@@ -26,7 +26,8 @@ add_library(kleeModule
   ${KLEE_MODULE_COMPONENT_SRCS}
 )
 
-llvm_map_components_to_libnames(llvm_libs bitreader
+llvm_config(kleeModule "${USE_LLVM_SHARED}"
+  bitreader
   bitwriter
   codegen
   ipo
@@ -42,8 +43,6 @@ llvm_map_components_to_libnames(llvm_libs bitreader
   binaryformat
   )
 
-target_link_libraries(kleeModule PRIVATE ${llvm_libs})
-
 target_link_libraries(kleeModule PRIVATE
   kleeSupport
 )
-- 
cgit 1.4.1