From 8f15ca3067e023d9bdb81505bc80ac1ed6041506 Mon Sep 17 00:00:00 2001
From: "A. Wilcox" <AWilcox@Wilcox-Tech.com>
Date: Thu, 25 Apr 2019 23:44:19 +0000
Subject: user/z3: new package

---
 user/z3/APKBUILD | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 user/z3/APKBUILD

(limited to 'user/z3/APKBUILD')

diff --git a/user/z3/APKBUILD b/user/z3/APKBUILD
new file mode 100644
index 000000000..2864319ac
--- /dev/null
+++ b/user/z3/APKBUILD
@@ -0,0 +1,40 @@
+# Contributor: A. Wilcox <awilfox@adelielinux.org>
+# Maintainer: A. Wilcox <awilfox@adelielinux.org>
+pkgname=z3
+pkgver=4.8.4
+pkgrel=0
+pkgdesc="Mathematical theorem prover"
+url=" "
+arch="all"
+license="MIT"
+depends=""
+makedepends="gmp-dev python3-dev cmd:which"
+subpackages="$pkgname-dev py3-$pkgname:py3:noarch"
+source="https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz"
+builddir="$srcdir/z3-z3-$pkgver"
+
+build() {
+	PYTHON=python3 ./configure \
+		--prefix=/usr \
+		--gmp \
+		--python
+	make -C build
+}
+
+check() {
+	make -C build test-z3
+	build/test-z3 /a
+}
+
+package() {
+	make -C build DESTDIR="$pkgdir" install
+}
+
+py3() {
+	pkgdesc="$pkgdesc (Python bindings)"
+	depends="python3"
+	mkdir -p "$subpkgdir"/usr/lib
+	mv "$pkgdir"/usr/lib/python3* "$subpkgdir"/usr/lib/
+}
+
+sha512sums="4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4  z3-4.8.4.tar.gz"
-- 
cgit v1.2.3-70-g09d2