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

[Felix Yan]

    Date: Friday, August 25, 2017 @ 15:01:39
  Author: felixonmars
Revision: 253382

archrelease: copy trunk to community-i686, community-x86_64

Added:
  z3/repos/community-i686/
  z3/repos/community-i686/PKGBUILD
    (from rev 253381, z3/trunk/PKGBUILD)
  z3/repos/community-x86_64/
  z3/repos/community-x86_64/PKGBUILD
    (from rev 253381, z3/trunk/PKGBUILD)

---------------------------+
 community-i686/PKGBUILD   |   29 +++++++++++++++++++++++++++++
 community-x86_64/PKGBUILD |   29 +++++++++++++++++++++++++++++
 2 files changed, 58 insertions(+)

Copied: z3/repos/community-i686/PKGBUILD (from rev 253381, z3/trunk/PKGBUILD)
===================================================================
--- community-i686/PKGBUILD	                        (rev 0)
+++ community-i686/PKGBUILD	2017-08-25 15:01:39 UTC (rev 253382)
@@ -0,0 +1,29 @@
+# $Id$
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: rudy.matela
+
+pkgname=z3
+pkgver=4.5.0
+pkgrel=4
+pkgdesc="A high-performance theorem prover"
+arch=('i686' '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")
+sha256sums=('aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c')
+
+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
+}

Copied: z3/repos/community-x86_64/PKGBUILD (from rev 253381, z3/trunk/PKGBUILD)
===================================================================
--- community-x86_64/PKGBUILD	                        (rev 0)
+++ community-x86_64/PKGBUILD	2017-08-25 15:01:39 UTC (rev 253382)
@@ -0,0 +1,29 @@
+# $Id$
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: rudy.matela
+
+pkgname=z3
+pkgver=4.5.0
+pkgrel=4
+pkgdesc="A high-performance theorem prover"
+arch=('i686' '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")
+sha256sums=('aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c')
+
+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
+}