diff options
Diffstat (limited to 'testing')
-rw-r--r-- | testing/z3/APKBUILD | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/testing/z3/APKBUILD b/testing/z3/APKBUILD deleted file mode 100644 index 7772fa03e6..0000000000 --- a/testing/z3/APKBUILD +++ /dev/null @@ -1,56 +0,0 @@ -# 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" |