z3-bin/PKGBUILD

   1
   2 # Contributor: Paolo Herms
   3
   4 pkgname=z3-bin
   5 pkgver=2.19
   6 pkgrel=1
   7 pkgdesc="An automatic theorem prover"
   8 arch=('any')
   9 url="http://research.microsoft.com/en-us/um/redmond/projects/z3"
  10 license=('custom')
  11 source=("http://research.microsoft.com/projects/z3/z3-$pkgver.tar.gz"
  12     'http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/Z%203%20MSR-LA%20(2007-07-07).txt')
  13 md5sums=('04d1d9c264762ae73bc3126427dd5e00'
  14          'c5f05e7f2f95c796d5101069276d326f')
  15 [[ "$CARCH" = x86_64 ]] && {
  16     source[0]="http://research.microsoft.com/projects/z3/z3-x64-$pkgver.tar.gz"
  17     md5sums[0]='3d53eae527af007098d8ebc3e4f25f19'
  18 }
  19
  20 build() {
  21   install -D "$srcdir"/z3/bin/z3 "$pkgdir"/usr/bin/z3
  22   install -m644 -D "$srcdir/Z%203%20MSR-LA%20(2007-07-07).txt" "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
  23 }
  24