mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2025-02-06 23:47:10 +00:00
33 lines
971 B
Text
33 lines
971 B
Text
pkgbase = z3
|
|
pkgdesc = High-performance theorem prover
|
|
pkgver = 4.13.4
|
|
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#tag=z3-4.13.4
|
|
sha512sums = 94e5ebcaab24182de3802d3a5c0627a44635d1da3ac67c5135b6016c9b00db2a8946303667a4578680b5329ba5605749d8011b23943be205409bcb1fa7aeb97e
|
|
b2sums = a2198b365278fcb3e40ce1013891b341104e24cbd76e78bcf558f93ec8db9a833068f183370548bc4fdff25424f6985e295bba6f5a6896bc2f0763df03a1a97c
|
|
|
|
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
|