z3-git PKGBUILD for Arch Linux

PKGBUILD

# Maintainer: Thomas Wood <[email protected]>
pkgname=z3-git
pkgver=20121029
pkgrel=1
pkgdesc="A high performance theorem prover"
arch=('any')
url="http://research.microsoft.com/en-us/um/redmond/projects/z3/"
license=('custom')
depends=('gcc-libs')
makedepends=('git' 'dos2unix')

_gitroot=https://git01.codeplex.com/z3
_gitname=z3

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 "Starting build..."

  rm -rf "$srcdir/$_gitname-build"
  git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
  cd "$srcdir/$_gitname-build"

  autoconf
  ./configure --prefix=/usr
  make
}

package() {
  mkdir -p "$pkgdir/usr/include/z3"
  mkdir -p "$pkgdir/usr/lib"

  cd "$srcdir/$_gitname-build/lib"
  cp `find . -name "*.h"` "$pkgdir/usr/include/z3"
  cd "$srcdir/$_gitname-build/c++"
  cp `find . -name "*.h"` "$pkgdir/usr/include/z3"

  cd "$srcdir/$_gitname-build/bin/external"
  cp `find . -name "libz3.*"` "$pkgdir/usr/lib"
  install -D z3 "$pkgdir/usr/bin/z3"

  cd "$srcdir/$_gitname-build"
  install -Dm644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
}