[arch-commits] Commit in (z3 z3/repos z3/trunk z3/trunk/PKGBUILD)

Felix Yan felixonmars at archlinux.org
Fri Aug 25 15:00:26 UTC 2017


    Date: Friday, August 25, 2017 @ 15:00:25
  Author: felixonmars
Revision: 253381

addpkg: z3 4.5.0-4

Added:
  z3/
  z3/repos/
  z3/trunk/
  z3/trunk/PKGBUILD

----------+
 PKGBUILD |   29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

Added: z3/trunk/PKGBUILD
===================================================================
--- z3/trunk/PKGBUILD	                        (rev 0)
+++ z3/trunk/PKGBUILD	2017-08-25 15:00:25 UTC (rev 253381)
@@ -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
+}


Property changes on: z3/trunk/PKGBUILD
___________________________________________________________________
Added: svn:keywords
## -0,0 +1 ##
+Id
\ No newline at end of property



More information about the arch-commits mailing list