mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-08-05 21:37:15 +02:00
48 lines
1.2 KiB
Plaintext
48 lines
1.2 KiB
Plaintext
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
|
|
# Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net>
|
|
pkgname=z3
|
|
pkgver=4.12.1
|
|
pkgrel=0
|
|
pkgdesc="Theorem prover from Microsoft Research"
|
|
url="https://github.com/Z3Prover/z3"
|
|
arch="all"
|
|
license="MIT"
|
|
makedepends="cmake python3 samurai"
|
|
subpackages="$pkgname-dev py3-$pkgname:py3:noarch"
|
|
source="https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz"
|
|
builddir="$srcdir/z3-z3-$pkgver"
|
|
|
|
build() {
|
|
cmake -B build -G Ninja \
|
|
-DZ3_BUILD_PYTHON_BINDINGS=True \
|
|
-DZ3_INSTALL_PYTHON_BINDINGS=True \
|
|
-DPYTHON_EXECUTABLE=/usr/bin/python3 \
|
|
-DCMAKE_INSTALL_PREFIX=/usr \
|
|
-DCMAKE_INSTALL_LIBDIR=lib \
|
|
-DBUILD_SHARED_LIBS=True \
|
|
-DCMAKE_BUILD_TYPE=MinSizeRel
|
|
cmake --build build
|
|
|
|
# Binary for running the unit tests
|
|
cmake --build build --target test-z3
|
|
}
|
|
|
|
check() {
|
|
./build/test-z3 -a
|
|
}
|
|
|
|
package() {
|
|
DESTDIR="$pkgdir" cmake --install build
|
|
}
|
|
|
|
py3() {
|
|
pkgdesc="Python bindings for $pkgname"
|
|
depends="python3"
|
|
|
|
amove usr/lib/python3*
|
|
}
|
|
|
|
sha512sums="
|
|
031fba9cc000a8da0025f95fa3f1c7519071d1b7775b377ff3192c505bb4c7e3d267da246c9ae68c940224e055a3c30571d2c0d7fbb042ec9a3d5849543a385c z3-4.12.1.tar.gz
|
|
"
|