ispin/PKGBUILD

   1 # Maintainer: Ghost of Kendo <ghostofkendo at gmail dot com>
   2 pkgname=ispin
   3 pkgver=1.0.6
   4 pkgrel=1
   5 pkgdesc="New Tcl/Tk GUI for Spin replacing xSpin"
   6 arch=('any')
   7 url="http://spinroot.com/"
   8 license=('custom:SPIN')
   9 depends=('spin>=6.0' 'tk>=8.5' 'gcc')
  10 optdepends=('graphviz: recommended, provides dot tool for automata view'
  11             'curl: for version check information')
  12 source=("http://spinroot.com/spin/Src/$pkgname.tcl"
  13         'LICENSE.txt')
  14 md5sums=('a2fe147d53aea4f7d27d7a3acb65cb34'
  15          '1b7db1b5f5da972bab3db17472e3a342')
  16
  17 package() {
  18   cd "$srcdir/"
  19
  20   install -Dm755 $pkgname.tcl $pkgdir/usr/bin/$pkgname
  21
  22   install -Dm644 LICENSE.txt ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.txt
  23 }
  24