Updated to be in line with the latest AUR VCS guidelines

1 files changed, 11 insertions, 19 deletions

diff --git a/PKGBUILD b/PKGBUILD
index b5c4095b6311..5dcd4964d91e 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
 }