PKGBUILD for spin 6.4.3-2

# Maintainer: Ghost of Kendo <ghostofkendo at gmail dot com>
# Contributor: Thomas Dziedzic < gostrc at gmail >
# Contributor: Pierre Chapuis <catwell@archlinux.us>
# Contributor: Artemis
pkgname=spin
pkgver=6.4.3
pkgrel=2
pkgdesc='Tool for the formal verification of distributed software systems.'
arch=('i686' 'x86_64')
url='http://spinroot.com/'
license=('custom:SPIN')
depends=('glibc')
makedepends=('wget')
source=("http://spinroot.com/spin/Src/spin${pkgver//./}.tar.gz"
        'LICENSE.txt')
DLAGENTS='http::/usr/bin/wget -O %o %u'
md5sums=('17eb7f14df3616e25635691967786996'
         '1b7db1b5f5da972bab3db17472e3a342')

build() {
  cd "${srcdir}/Spin/Src${pkgver}"

  make
}

package() {
  cd "${srcdir}/Spin/Src${pkgver}"

  install -D spin \
    ${pkgdir}/usr/bin/spin

  install -D -m644 ${srcdir}/LICENSE.txt \
    ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.txt

  cd "${srcdir}/Spin/Man"
  gzip --force spin.1
  install -D -m644 spin.1.gz "${pkgdir}/usr/share/man/man1/spin.1.gz"
}