diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-06-27 18:54:41 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-06-27 19:16:55 +0200 |
| commit | 75c3de02317a6af5b1e335eb221b4b8bbb7fa224 (patch) | |
| tree | 60e1ea8eff39d21202d5bd792bf5f60dacc9859d /community | |
| parent | 93b9dd9d3ff629c1eb65482f1bbe42ac9080a8f6 (diff) | |
| download | aports-75c3de02317a6af5b1e335eb221b4b8bbb7fa224.tar.bz2 aports-75c3de02317a6af5b1e335eb221b4b8bbb7fa224.tar.xz | |
community/z3: move from testing
Diffstat (limited to 'community')
| -rw-r--r-- | community/z3/APKBUILD | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD new file mode 100644 index 0000000000..7772fa03e6 --- /dev/null +++ b/community/z3/APKBUILD @@ -0,0 +1,56 @@ +# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net> +# Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> +pkgname=z3 +pkgver=4.7.1 +pkgrel=0 +pkgdesc="Theorem prover from Microsoft Research" +url="https://github.com/Z3Prover/z3" +arch="all !s390x !ppc64le !aarch64" +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="4c8c856691134298c4b5e465d6fadfe446532dfcd8c92aed7c9a6bbfc8557074a45cd7316dbfa5045824e2504db159afeb8ff676d4bfc942496623cf31d11aa0 z3-4.7.1.tar.gz" |