llvm18: use z3-devel (no rebuild)

Closes: #51553 [via git-merge-pr]
This commit is contained in:
Daniel Martinez 2024-07-30 14:49:23 -04:00 committed by classabbyamp
parent b6770fb552
commit ce93cd8037
No known key found for this signature in database
GPG Key ID: 6BE0755918A4C7F5
1 changed files with 1 additions and 1 deletions

View File

@ -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 <danielmartinez@cock.li>"
license="Apache-2.0"