SHARE
TWEET

PKGBUILD for spin 6.4.3-2

a guest Jan 17th, 2015 27 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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. # Contributor: Artemis
  5. pkgname=spin
  6. pkgver=6.4.3
  7. pkgrel=2
  8. pkgdesc='Tool for the formal verification of distributed software systems.'
  9. arch=('i686' 'x86_64')
  10. url='http://spinroot.com/'
  11. license=('custom:SPIN')
  12. depends=('glibc')
  13. makedepends=('wget')
  14. source=("http://spinroot.com/spin/Src/spin${pkgver//./}.tar.gz"
  15.         'LICENSE.txt')
  16. DLAGENTS='http::/usr/bin/wget -O %o %u'
  17. md5sums=('17eb7f14df3616e25635691967786996'
  18.          '1b7db1b5f5da972bab3db17472e3a342')
  19.  
  20. build() {
  21.   cd "${srcdir}/Spin/Src${pkgver}"
  22.  
  23.   make
  24. }
  25.  
  26. package() {
  27.   cd "${srcdir}/Spin/Src${pkgver}"
  28.  
  29.   install -D spin \
  30.     ${pkgdir}/usr/bin/spin
  31.  
  32.   install -D -m644 ${srcdir}/LICENSE.txt \
  33.     ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.txt
  34.  
  35.   cd "${srcdir}/Spin/Man"
  36.   gzip --force spin.1
  37.   install -D -m644 spin.1.gz "${pkgdir}/usr/share/man/man1/spin.1.gz"
  38. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top