mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-08-05 13:27:09 +02:00
57 lines
1.4 KiB
Plaintext
57 lines
1.4 KiB
Plaintext
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
|
|
# Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net>
|
|
pkgname=z3
|
|
pkgver=4.6.0
|
|
pkgrel=3
|
|
pkgdesc="Theorem prover from Microsoft Research"
|
|
url="https://github.com/Z3Prover/z3"
|
|
arch="all !s390x !ppc64le"
|
|
license="MIT"
|
|
depends=""
|
|
makedepends="cmake python3"
|
|
install=""
|
|
subpackages="$pkgname-dev py3-$pkgname:py3:noarch"
|
|
source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz"
|
|
builddir="$srcdir/$pkgname-$pkgname-$pkgver"
|
|
|
|
build() {
|
|
cd "$builddir"
|
|
mkdir build && cd build
|
|
cmake -G "Unix Makefiles" \
|
|
-DBUILD_PYTHON_BINDINGS=True \
|
|
-DINSTALL_PYTHON_BINDINGS=True \
|
|
-DPYTHON_EXECUTABLE=/usr/bin/python3 \
|
|
-DCMAKE_INSTALL_PREFIX=/usr \
|
|
-DCMAKE_INSTALL_LIBDIR=lib \
|
|
-DBUILD_SHARED_LIBS=True \
|
|
-DCMAKE_BUILD_TYPE=Release \
|
|
-DCMAKE_CXX_FLAGS="$CXXFLAGS" \
|
|
-DCMAKE_C_FLAGS="$CFLAGS" \
|
|
..
|
|
make
|
|
|
|
# Binary for running the unit tests
|
|
make test-z3
|
|
}
|
|
|
|
check() {
|
|
cd "$builddir"
|
|
./build/test-z3 -a
|
|
}
|
|
|
|
package() {
|
|
cd "$builddir/build"
|
|
make DESTDIR="$pkgdir" install
|
|
}
|
|
|
|
py3() {
|
|
pkgdesc="Python bindings for $pkgname"
|
|
depends="python3"
|
|
|
|
mkdir -p "$subpkgdir"/usr/lib/
|
|
mv "$pkgdir"/usr/lib/python3* \
|
|
"$subpkgdir"/usr/lib/
|
|
}
|
|
|
|
sha512sums="92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243 z3-4.6.0.tar.gz"
|