summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorice-phoenix2016-02-05 17:48:33 +0300
committerice-phoenix2016-02-05 17:48:33 +0300
commit5a7ff1566a4e752debb2b5a81c95fac750c1e3f6 (patch)
tree0ad8b1837929bc32c8eb412f08980c48a246195a
parent0084d561bf6a5d4217d60d73fb8861f1661f5f45 (diff)
downloadaur-5a7ff1566a4e752debb2b5a81c95fac750c1e3f6.tar.gz
Switched to new packaging scheme
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD27
2 files changed, 14 insertions, 19 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 2b584664b8d..66e04ab50b7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,14 @@
+# Generated by mksrcinfo v8
+# Fri Feb 5 14:46:38 UTC 2016
pkgbase = z3-stable-git
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)
- pkgver = 20150513
+ pkgver = 20160205
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = i686
arch = x86_64
license = MIT
- makedepends = python2
+ makedepends = python
makedepends = git
conflicts = z3-bin
diff --git a/PKGBUILD b/PKGBUILD
index 433f2a2f131..b5c4095b631 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,13 +1,13 @@
# Maintainer: Marat Akhin <Marat.Akhin@gmail.com>
pkgname=z3-stable-git
-pkgver=20150513
+pkgver=20160205
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')
+makedepends=('python' 'git')
conflicts=('z3-bin')
_gitroot="https://github.com/Z3Prover/z3"
@@ -29,26 +29,19 @@ build() {
msg "Starting make..."
cd "$srcdir/$_gitname"
- python2 scripts/mk_make.py # --prefix="$pkgdir"
+ Z3_INSTALL_INCLUDE_DIR="include/z3" \
+ python scripts/mk_make.py \
+ --prefix="$pkgdir/usr" \
+ --pypkgdir="$pkgdir/usr/lib/python3.5/site-packages" \
+ --python \
+ --java \
+ --ml
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"
+ make install
}