gnusmv/PKGBUILD

   1 pkgname=gnusmv
   2 pkgver=021002
   3 pkgrel=2
   4 pkgdesc="Graphical user interface for NuSMV"
   5 arch=('i686' 'x86_64')
   6 url="http://nusmv.irst.itc.it/gnusmv/"
   7 license=('LGPL')
   8 depends=('python2' 'libpng' 'pygtk' 'pkg-config' 'zlib' 'gtk2' 'libxml2' 'libglade')
   9 source=(http://nusmv.irst.itc.it/gnusmv/dload/unix/gnusmv-snapshot-021002_linux.tar.gz)
  10 md5sums=('0ef92ec6e37920de93da57e2346a34e0')
  11 optdepends=('nusmv')
  12
  13 build() {
  14         mkdir -p $pkgdir/opt
  15         cp -r $srcdir/$pkgname $pkgdir/opt/gnusmv
  16
  17         mkdir -p $pkgdir/usr/bin
  18         echo -e "#!/bin/sh\ncd /opt/gnusmv/\npython2 /opt/gnusmv/main.py\ncd -" \
  19                 > $pkgdir/usr/bin/gnusmv
  20         chmod 755 $pkgdir/usr/bin/gnusmv
  21 }