[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