diff options
author | Marat Kh. Akhin | 2015-07-01 12:58:59 +0300 |
---|---|---|
committer | Marat Kh. Akhin | 2015-07-01 12:58:59 +0300 |
commit | 0b95b0d69fbd01bb822d2d6b1db267be815058c0 (patch) | |
tree | f84b04f7abfdc666b11958400d19bfbb4a6c0f96 | |
download | aur-0b95b0d69fbd01bb822d2d6b1db267be815058c0.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | PKGBUILD | 58 |
2 files changed, 72 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2cd4de8f43a8 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = z3-unstable-git + pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) + pkgver = 20150413 + pkgrel = 1 + url = https://github.com/Z3Prover/z3 + arch = i686 + arch = x86_64 + license = MIT + makedepends = python2 + makedepends = git + conflicts = z3-bin + +pkgname = z3-unstable-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..a6f2031bbd54 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,58 @@ +# Maintainer: Marat Akhin <Marat.Akhin@gmail.com> + +pkgname=z3-unstable-git +pkgver=20150413 +pkgrel=1 +pkgdesc="Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)" +arch=('i686' 'x86_64') +url="https://github.com/Z3Prover/z3" +license=('MIT') +makedepends=('python2' 'git') +conflicts=('z3-bin') + +_gitroot="https://github.com/Z3Prover/z3" +_gitname="z3-unstable" + +build() { + cd "$srcdir" + msg "Connecting to GIT server...." + + if [ -d $_gitname ] ; then + cd $_gitname && git pull origin + msg "The local files are updated." + else + git clone $_gitroot $_gitname + fi + + msg "GIT checkout done or server timeout" + + msg "Switching to unstable..." + cd "$srcdir/$_gitname" + git checkout unstable + + msg "Starting make..." + cd "$srcdir/$_gitname" + + python2 scripts/mk_make.py # --prefix="$pkgdir" + + cd "$srcdir/$_gitname/build" + make +} + +package() { + mkdir -p "$pkgdir/usr/bin" + mkdir -p "$pkgdir/usr/include/z3" + mkdir -p "$pkgdir/usr/lib" + mkdir -p "$pkgdir/usr/lib/python2.7/site-packages" + + cd "$srcdir/$_gitname/src/api" + cp `find . -name "z3*.h"` "$pkgdir/usr/include/z3" + cd "$srcdir/$_gitname/src/api/c++" + cp `find . -name "z3*.h"` "$pkgdir/usr/include/z3" + + cd "$srcdir/$_gitname/build" + cp `find . -name "z3"` "$pkgdir/usr/bin/" + cp `find . -name "libz3.*"` "$pkgdir/usr/lib" + cp `find . -name "libz3.*"` "$pkgdir/usr/lib/python2.7/site-packages" + cp `find . -name "z3*.pyc"` "$pkgdir/usr/lib/python2.7/site-packages" +} |