[arch-commits] Commit in z3/repos (2 files)

[Felix Yan]

    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 <felixonmars at 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
+}