# Generated by makepkg 6.1.0
# Thu Nov 28 19:11:21 UTC 2024
pkgbase = mingw-w64-z3
	pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)
	pkgver = 4.13.3
	pkgrel = 2
	url = https://github.com/Z3Prover/z3
	arch = any
	license = spdx:MIT
	makedepends = mingw-w64-ucrt-x86_64-cc
	makedepends = mingw-w64-ucrt-x86_64-cmake
	makedepends = mingw-w64-ucrt-x86_64-ninja
	makedepends = mingw-w64-ucrt-x86_64-python
	makedepends = mingw-w64-ucrt-x86_64-python-build
	makedepends = mingw-w64-ucrt-x86_64-python-installer
	makedepends = mingw-w64-ucrt-x86_64-python-setuptools
	depends = mingw-w64-ucrt-x86_64-gcc-libs
	depends = mingw-w64-ucrt-x86_64-gmp
	source = https://github.com/Z3Prover/z3/archive/z3-4.13.3.tar.gz
	source = 001-mingw-fixes.patch
	source = 003-fix-dll-exports.patch
	source = 004-fix-python-bindings-install.patch
	sha256sums = f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0
	sha256sums = dff9754409a077d0ae49f1bfb2404bd5b318d301273844a80649a9e20e61e2fa
	sha256sums = ce01668afae8e60c32a0d7937d3f8f67a7dc23aa4270913d157e676d061dfe6a
	sha256sums = a1c96b734e71d4cffc5d55f8a9ed5cc823ac87a8fcb6691a84a23a201398a398

pkgname = mingw-w64-ucrt-x86_64-z3
