2023-12-24 16:03:59 +00:00
|
|
|
pkgbase = z3
|
|
|
|
|
pkgdesc = High-performance theorem prover
|
2025-04-02 23:26:37 +00:00
|
|
|
pkgver = 4.14.1
|
|
|
|
|
pkgrel = 1
|
2023-12-24 16:03:59 +00:00
|
|
|
url = https://github.com/Z3Prover/z3
|
|
|
|
|
arch = x86_64
|
|
|
|
|
license = MIT
|
2025-04-02 23:26:37 +00:00
|
|
|
makedepends = cmake
|
|
|
|
|
makedepends = gcc-libs
|
2023-12-24 16:03:59 +00:00
|
|
|
makedepends = git
|
|
|
|
|
makedepends = glibc
|
|
|
|
|
makedepends = ninja
|
|
|
|
|
makedepends = python
|
|
|
|
|
makedepends = python-build
|
|
|
|
|
makedepends = python-installer
|
2025-04-02 23:26:37 +00:00
|
|
|
makedepends = python-setuptools
|
2023-12-24 16:03:59 +00:00
|
|
|
makedepends = python-wheel
|
2025-04-02 23:26:37 +00:00
|
|
|
source = git+https://github.com/Z3Prover/z3.git#tag=z3-4.14.1
|
|
|
|
|
sha512sums = 72250a788b53d70cc71011586c7da274723c18ca99436dfa2e6e834fc191f0349f38395eb29009734a1df76d5e7fec47dc1cb61d8b26d38ecb2222a277f8b62e
|
|
|
|
|
b2sums = 6004c7509cac82c2a544dca2bf1e89c8907cce129fd9ae3cfe8d189b43f501f3d398f8675f1a18009ae0ea29f67aa0c4c4d2b3846ea3a65055ce912b4c48c4bc
|
2023-12-24 16:03:59 +00:00
|
|
|
|
|
|
|
|
pkgname = z3
|
|
|
|
|
depends = gcc-libs
|
2025-04-02 23:26:37 +00:00
|
|
|
depends = glibc
|
2023-12-24 16:03:59 +00:00
|
|
|
provides = libz3
|
|
|
|
|
provides = libz3.so
|
|
|
|
|
|
|
|
|
|
pkgname = python-z3-solver
|
|
|
|
|
depends = python
|
|
|
|
|
depends = python-setuptools
|
|
|
|
|
depends = z3
|
|
|
|
|
conflicts = python-z3
|
|
|
|
|
replaces = python-z3
|
