Date: Sunday, December 24, 2017 @ 08:38:13 Author: felixonmars Revision: 275687
archrelease: copy trunk to community-testing-x86_64 Added: z3/repos/community-testing-x86_64/ z3/repos/community-testing-x86_64/PKGBUILD (from rev 275686, z3/trunk/PKGBUILD) ----------+ PKGBUILD | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) Copied: z3/repos/community-testing-x86_64/PKGBUILD (from rev 275686, z3/trunk/PKGBUILD) =================================================================== --- community-testing-x86_64/PKGBUILD (rev 0) +++ community-testing-x86_64/PKGBUILD 2017-12-24 08:38:13 UTC (rev 275687) @@ -0,0 +1,29 @@ +# $Id$ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: rudy.matela + +pkgname=z3 +pkgver=4.6.0 +pkgrel=1 +pkgdesc="A high-performance theorem prover" +arch=('x86_64') +url="https://github.com/Z3Prover/z3" +license=('MIT') +depends=('gcc-libs') +makedepends=('python2') # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib') +optdepends=('python2-setuptools: bindings for python2') +source=("https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz") +sha512sums=('92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243') + +build() { + cd "$srcdir/$pkgname-$pkgname-$pkgver" + python2 scripts/mk_make.py --python # --dotnet --java --ml + cd build + make +} + +package() { + cd "$srcdir"/$pkgname-$pkgname-$pkgver/build + make install DESTDIR="$pkgdir" + install -Dm644 ../LICENSE.txt "$pkgdir"/usr/share/licenses/$pkgname/LICENSE +}