spin/PKGBUILD

   1 # Maintainer: Ghost of Kendo <ghostofkendo at gmail dot com>
   2 # Contributor: Thomas Dziedzic < gostrc at gmail >
   3 # Contributor: Pierre Chapuis <catwell@archlinux.us>
   4 pkgname=spin
   5 pkgver=6.1.0
   6 pkgrel=1
   7 pkgdesc='Tool for the formal verification of distributed software systems.'
   8 arch=('i686' 'x86_64')
   9 url='http://spinroot.com/'
  10 license=('custom:SPIN')
  11 depends=('glibc')
  12 source=("http://spinroot.com/spin/Src/src${pkgver//./}.tar.gz"
  13         'LICENSE.txt')
  14 md5sums=('19a4eae915a71f33848a1f273553b2da'
  15          '1b7db1b5f5da972bab3db17472e3a342')
  16
  17 build() {
  18   cd Src${pkgver}
  19
  20   make
  21 }
  22
  23 package() {
  24   cd Src${pkgver}
  25
  26   install -D spin \
  27     ${pkgdir}/usr/bin/spin
  28
  29   install -D -m644 ${srcdir}/LICENSE.txt \
  30     ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.txt
  31 }