# Generated by makepkg 6.0.2
# Tue Jan 23 12:06:03 UTC 2024
pkgbase = mingw-w64-z3
	pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)
	pkgver = 4.12.5
	pkgrel = 1
	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
	depends = mingw-w64-ucrt-x86_64-gcc-libs
	depends = mingw-w64-ucrt-x86_64-gmp
	source = https://github.com/Z3Prover/z3/archive/z3-4.12.5.tar.gz
	source = 001-mingw-fixes.patch
	source = 003-fix-dll-exports.patch
	source = 004-fix-python-bindings-install.patch
	sha256sums = 70e211e0a8e77febccc51865e45111066f623356a4ef0b527c3597362bc6db72
	sha256sums = dff9754409a077d0ae49f1bfb2404bd5b318d301273844a80649a9e20e61e2fa
	sha256sums = ce01668afae8e60c32a0d7937d3f8f67a7dc23aa4270913d157e676d061dfe6a
	sha256sums = a1c96b734e71d4cffc5d55f8a9ed5cc823ac87a8fcb6691a84a23a201398a398

pkgname = mingw-w64-ucrt-x86_64-z3
