diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-05-02 16:22:39 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-05-30 19:07:49 +0200 |
| commit | bb48794f4df5e5f137812c0ed142ce82e45b2268 (patch) | |
| tree | 319a76ac81ab2b5a54541f35cac314961f2bb517 /testing | |
| parent | 4f306d8c0b5c005eebc5b18010f152ecb79be322 (diff) | |
| download | aports-bb48794f4df5e5f137812c0ed142ce82e45b2268.tar.bz2 aports-bb48794f4df5e5f137812c0ed142ce82e45b2268.tar.xz | |
testing/z3: new aport
Diffstat (limited to 'testing')
| -rw-r--r-- | testing/z3/APKBUILD | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/testing/z3/APKBUILD b/testing/z3/APKBUILD new file mode 100644 index 0000000000..c55c2a6d07 --- /dev/null +++ b/testing/z3/APKBUILD @@ -0,0 +1,33 @@ +# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net> +# Maintainer: +pkgname=z3 +pkgver=4.6.0 +pkgrel=0 +pkgdesc="Theorem prover from Microsoft Research" +url="https://github.com/Z3Prover/z3" +arch="all" +license="MIT" +depends="" +makedepends="python2" +install="" +subpackages="$pkgname-dev" +source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz" +builddir="$srcdir/$pkgname-$pkgname-$pkgver" + +prepare() { + default_prepare + cd "$builddir" + python2 scripts/mk_make.py +} + +build() { + cd "$builddir/build" + make +} + +package() { + cd "$builddir/build" + make DESTDIR="$pkgdir" install +} + +sha512sums="92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243 z3-4.6.0.tar.gz" |