pkgbase = z3
	pkgdesc = High-performance theorem prover
	pkgver = 4.13.0
	pkgrel = 2
	url = https://github.com/Z3Prover/z3
	arch = x86_64
	license = MIT
	makedepends = git
	makedepends = glibc
	makedepends = cmake
	makedepends = ninja
	makedepends = python
	makedepends = python-setuptools
	makedepends = gcc-libs
	makedepends = python-build
	makedepends = python-installer
	makedepends = python-wheel
	source = git+https://github.com/Z3Prover/z3.git#commit=3049f578a8f98a0b0992eca193afe57a73b30ca3
	sha512sums = SKIP
	b2sums = SKIP

pkgname = z3
	depends = glibc
	depends = gcc-libs
	provides = libz3
	provides = libz3.so

pkgname = python-z3-solver
	depends = python
	depends = python-setuptools
	depends = z3
	conflicts = python-z3
	replaces = python-z3