From 3b565cbe392e760636fdc26dd5f8de1d1cd0fbd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C4=90o=C3=A0n=20Tr=E1=BA=A7n=20C=C3=B4ng=20Danh?=
 <congdanhqx@gmail.com>
Date: Tue, 17 Jun 2025 07:25:29 +0700
Subject: [PATCH] llvm18: fix libz3 link

---
 srcpkgs/llvm18/patches/z3-libs.patch | 21 +++++++++++++++++++++
 srcpkgs/llvm18/template              |  4 +---
 2 files changed, 22 insertions(+), 3 deletions(-)
 create mode 100644 srcpkgs/llvm18/patches/z3-libs.patch

diff --git a/srcpkgs/llvm18/patches/z3-libs.patch b/srcpkgs/llvm18/patches/z3-libs.patch
new file mode 100644
index 00000000000..89e4390a495
--- /dev/null
+++ b/srcpkgs/llvm18/patches/z3-libs.patch
@@ -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
diff --git a/srcpkgs/llvm18/template b/srcpkgs/llvm18/template
index 86eb524677a..7d247ddcbba 100644
--- a/srcpkgs/llvm18/template
+++ b/srcpkgs/llvm18/template
@@ -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
 }