summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorice-phoenix2016-04-13 19:10:31 +0300
committerice-phoenix2016-04-13 19:10:31 +0300
commit2f43d8c31fb642f114d726569588d08bee39a544 (patch)
treee25b52921e0d109eaf54cb80ae575225d9b708fc
parent5a7ff1566a4e752debb2b5a81c95fac750c1e3f6 (diff)
downloadaur-2f43d8c31fb642f114d726569588d08bee39a544.tar.gz
Updated to be in line with the latest AUR VCS guidelines
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD30
2 files changed, 15 insertions, 21 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 66e04ab50b7..6a380a86df7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Fri Feb 5 14:46:38 UTC 2016
+# Wed Apr 13 16:09:41 UTC 2016
pkgbase = z3-stable-git
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)
- pkgver = 20160205
+ pkgver = 4.4.1.g0f93853
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = i686
@@ -11,6 +11,8 @@ pkgbase = z3-stable-git
makedepends = python
makedepends = git
conflicts = z3-bin
+ source = git+https://github.com/Z3Prover/z3
+ md5sums = SKIP
pkgname = z3-stable-git
diff --git a/PKGBUILD b/PKGBUILD
index b5c4095b631..5dcd4964d91 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Marat Akhin <Marat.Akhin@gmail.com>
pkgname=z3-stable-git
-pkgver=20160205
+pkgver=4.4.1.g0f93853
pkgrel=1
pkgdesc="Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)"
arch=('i686' 'x86_64')
@@ -10,24 +10,16 @@ license=('MIT')
makedepends=('python' 'git')
conflicts=('z3-bin')
-_gitroot="https://github.com/Z3Prover/z3"
-_gitname="z3-stable"
+source=("git+https://github.com/Z3Prover/z3")
+md5sums=('SKIP')
-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"
+pkgver() {
+ cd "$srcdir/z3"
+ git describe | awk 'BEGIN { FS = "-"; OFS = "" }; { print $2, ".", $4 }'
+}
- msg "Starting make..."
- cd "$srcdir/$_gitname"
+build() {
+ cd "$srcdir/z3"
Z3_INSTALL_INCLUDE_DIR="include/z3" \
python scripts/mk_make.py \
@@ -37,11 +29,11 @@ build() {
--java \
--ml
- cd "$srcdir/$_gitname/build"
+ cd "$srcdir/z3/build"
make
}
package() {
- cd "$srcdir/$_gitname/build"
+ cd "$srcdir/z3/build"
make install
}