add manpage

credits to Artemis for proposing

2 files changed, 15 insertions, 13 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 910672937e2e..37c2877236f0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,15 @@
 pkgbase = spin
 	pkgdesc = Tool for the formal verification of distributed software systems.
 	pkgver = 6.4.4
-	pkgrel = 1
+	pkgrel = 2
 	url = http://spinroot.com/
 	arch = i686
 	arch = x86_64
 	license = custom:SPIN
 	depends = glibc
-	source = http://spinroot.com/spin/Src/src644.tar.gz
+	source = http://spinroot.com/spin/Src/spin644.tar.gz
 	source = LICENSE.txt
-	sha512sums = d40fe053775d8a8a599fdbc572c1eb03a3ca78f9f443b75c6ea910f3c0183f02393b09c1d2da1eb8798b5b81b4bc752a7a4f456b852a8f5055847ff720b78caf
+	sha512sums = cd16613e6bde57dd968a126b9159e28a44ad5698dd20d9b2b542c6be9b79cbfbbc0b6b3c5dfcf3aac11dfa244ad95583fe914899dde3cf685bc6e1fdcd058cea
 	sha512sums = a5b63fc7136a2631c9a27619953abe2e9d6cab179042dd56bb76afbffe1966ad7edb41a131af5d6663f3cdbf77128833232e9174c0ef817b8522bfd978add595
 
 pkgname = spin
diff --git a/PKGBUILD b/PKGBUILD
index c5a667b78bdc..ef0fa3d392a1 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,28 +5,30 @@
 
 pkgname=spin
 pkgver=6.4.4
-pkgrel=1
+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')
-source=("http://spinroot.com/spin/Src/src${pkgver//./}.tar.gz"
+source=("http://spinroot.com/spin/Src/spin${pkgver//./}.tar.gz"
         'LICENSE.txt')
-sha512sums=('d40fe053775d8a8a599fdbc572c1eb03a3ca78f9f443b75c6ea910f3c0183f02393b09c1d2da1eb8798b5b81b4bc752a7a4f456b852a8f5055847ff720b78caf'
+sha512sums=('cd16613e6bde57dd968a126b9159e28a44ad5698dd20d9b2b542c6be9b79cbfbbc0b6b3c5dfcf3aac11dfa244ad95583fe914899dde3cf685bc6e1fdcd058cea'
             'a5b63fc7136a2631c9a27619953abe2e9d6cab179042dd56bb76afbffe1966ad7edb41a131af5d6663f3cdbf77128833232e9174c0ef817b8522bfd978add595')
 
 build() {
-  cd Src${pkgver}
+  cd ${srcdir}/Spin/Src${pkgver}
   make
 }
 
 package() {
-  cd Src${pkgver}
+  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
+  # install binary and license file
+  install -D spin ${pkgdir}/usr/bin/spin
+  install -D -m644 ${srcdir}/LICENSE.txt ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.txt
+  
+  # install manpage
+  install -d ${pkgdir}/usr/share/man/man1/  
+  gzip -9c ${srcdir}/Spin/Man/spin.1 > ${pkgdir}/usr/share/man/man1/spin.1.gz
 }