mvsis/PKGBUILD

   1 # Maintainer: SpepS <dreamspepser at yahoo dot it>
   2
   3 pkgname=mvsis
   4 pkgver=3.0
   5 pkgrel=1
   6 pkgdesc="Fast binary synthesis algorithms, technology mapping and resynthesis procedures and engines for combinational and sequential equivalence checking."
   7 arch=('i686' 'x86_64')
   8 url="http://embedded.eecs.berkeley.edu/Respep/Research/mvsis/"
   9 license=('GPL')
  10 depends=('libbsd')
  11 source=("${url}release/$pkgname-$pkgver.tar.gz"
  12         "$pkgname.patch")
  13 md5sums=('76a813802c54962efb45d77c39957111'
  14          '1dad1468491d5a3a4b4f17cade545fab')
  15
  16 build() {
  17   cd "$srcdir/$pkgname-1.3"
  18
  19   # add support for 64bit
  20   # and other compatibility fixes
  21   patch -p1 -i ../$pkgname.patch
  22
  23   ./configure --prefix=/usr
  24   make
  25 }
  26
  27 package() {
  28   cd "$srcdir/$pkgname-1.3"
  29
  30   # bin
  31   install -Dm755 $pkgname "$pkgdir/usr/bin/$pkgname"
  32
  33   # examples
  34   install -d "$pkgdir/usr/share/$pkgname/examples"
  35   install -Dm644 examples/*.* "$pkgdir/usr/share/$pkgname/examples"
  36 }
  37
  38 # vim:set ts=2 sw=2 et: