llvm18: fix libz3 link

This commit is contained in:
Đoàn Trần Công Danh 2025-06-17 07:25:29 +07:00
parent cf623fe190
commit 3b565cbe39
2 changed files with 22 additions and 3 deletions

View file

@ -0,0 +1,21 @@
--- a/llvm/CMakeLists.txt
+++ b/llvm/CMakeLists.txt
@@ -563,6 +563,7 @@ if (LLVM_ENABLE_Z3_SOLVER)
if (NOT Z3_FOUND)
message(FATAL_ERROR "LLVM_ENABLE_Z3_SOLVER cannot be enabled when Z3 is not available.")
endif()
+ set(Z3_LIBRARIES z3)
set(LLVM_WITH_Z3 1)
endif()
--- a/llvm/lib/Support/CMakeLists.txt
+++ b/llvm/lib/Support/CMakeLists.txt
@@ -88,7 +88,7 @@ endif()
# Link Z3 if the user wants to build it.
if(LLVM_WITH_Z3)
- set(system_libs ${system_libs} ${Z3_LIBRARIES})
+ set(system_libs ${system_libs} z3)
endif()
# Override the C runtime allocator on Windows and embed it into LLVM tools & libraries

View file

@ -1,7 +1,7 @@
# Template file for 'llvm18'.
pkgname=llvm18
version=18.1.8
revision=4
revision=5
build_wrksrc=llvm
build_style=cmake
configure_args="
@ -311,8 +311,6 @@ post_install() {
vcopy ${wrksrc}/${build_wrksrc}/runtimes-doc/libunwind/docs/html ${LIBUNWIND_DOCS}
fi
sed -i 's|/usr[^;]*libz3.so|z3|' "${DESTDIR}/usr/lib/cmake/llvm/LLVMExports.cmake"
# Can this be disabled some other way?
rm -rf ${DESTDIR}/usr/lib64
}