PKGBUILD for arch

PKGBUILD

# Maintainer: Marat Akhin <[email protected]>

pkgname=z3-codeplex
pkgver=4.3.1
pkgrel=4
pkgdesc="Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Codeplex sources, libraries, and z3 bin)"
arch=('i686' 'x86_64')
url="http://z3.codeplex.com/"
license=('custom')
makedepends=('python2')
provides=('z3' 'z3-lib')
conflicts=('z3' 'z3-lib')
source=("$pkgname-$pkgver.zip::http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx?ProjectName=z3&changeSetId=89c1785b7322")
md5sums=('abb261287f7ff705d6df1ac73ac2d7d7')

build() {
  cd "$srcdir"

  autoconf
  ./configure --prefix="$pkgdir" --with-python=/usr/bin/python2 CXX=clang++
  python2 scripts/mk_make.py --nodotnet

  cd "$srcdir/build"
  make -j2
}

package() {
  mkdir -p "$pkgdir/usr/include/z3"
  mkdir -p "$pkgdir/usr/lib"
  mkdir -p "$pkgdir/usr/bin"
  mkdir -p "$pkgdir/usr/lib/python2.7/site-packages"

  cd "$srcdir/src/api"
  cp `find . -name "z3*.h"` "$pkgdir/usr/include/z3"
  cd "$srcdir/src/api/c++"
  cp `find . -name "z3*.h"` "$pkgdir/usr/include/z3"

  cd "$srcdir/build"
  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"
  cp `find . -name "z3"` "$pkgdir/usr/bin/z3"
  cd "$srcdir"
  install -Dm644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
}