From ce93cd80371b90b42c6014b1c94e42076af4fe9c Mon Sep 17 00:00:00 2001 From: Daniel Martinez Date: Tue, 30 Jul 2024 14:49:23 -0400 Subject: [PATCH] llvm18: use z3-devel (no rebuild) Closes: #51553 [via git-merge-pr] --- srcpkgs/llvm18/template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/srcpkgs/llvm18/template b/srcpkgs/llvm18/template index 1bdc9710f00..1311ecf6fc6 100644 --- a/srcpkgs/llvm18/template +++ b/srcpkgs/llvm18/template @@ -36,7 +36,7 @@ hostmakedepends="perl python3 zlib-devel libffi-devel swig python3-Sphinx python3-recommonmark python3-sphinx-automodapi git python3-sphinx-markdown-tables python3-yaml pkg-config python3-mdit-py-plugins python3-MyST-Parser python3-markdown-it $(vopt_if graphviz graphviz)" makedepends="python3-devel zlib-devel elfutils-devel libffi-devel libedit-devel - libxml2-devel binutils-devel z3" + libxml2-devel binutils-devel z3-devel" short_desc="LLVM Compiler Infrastructure Project - Version 18" maintainer="Daniel Martinez " license="Apache-2.0"