diff options
author | frederik | 2017-06-01 13:50:42 +0200 |
---|---|---|
committer | frederik | 2017-06-01 13:50:42 +0200 |
commit | 4a44c554389da865bb6c730af264f12ff067d7f9 (patch) | |
tree | c268222b4cba0c48670c57dfb0f1c55e41ddb85b /PKGBUILD | |
parent | adb29244ee815907bd0ca1d7e00453ba9daac8bb (diff) | |
download | aur-4a44c554389da865bb6c730af264f12ff067d7f9.tar.gz |
upgrade to 6.4.6
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 26 |
1 files changed, 13 insertions, 13 deletions
@@ -5,38 +5,38 @@ # Contributor: Earnest <zibeon@gmail.com> pkgname=spin -pkgver=6.4.5 +pkgver=6.4.6 pkgrel=1 pkgdesc='Tool for the formal verification of distributed software systems' arch=('i686' 'x86_64') -url='http://spinroot.com/' +url='https://spinroot.com/' license=('custom:SPIN') depends=('glibc') optdepends=('tcl: ispin graphical interface' 'swarm: improved performance on large verification problems' 'modex: extract verification models from implementation C code' 'ispin: GUI for Spin') -source=("http://spinroot.com/spin/Src/spin${pkgver//./}.tar.gz" - 'LICENSE.txt') +source=(https://spinroot.com/spin/Src/spin${pkgver//./}.tar.gz + LICENSE.txt) sha512sums=('77bc35bb852c0448915c655bf11910d0b226d30d66abaa63311e6227de03f920ca026e7399cbeebdae631368fd8091f1e8330bd3094bd4febdf7d5c7a81834ad' 'a5b63fc7136a2631c9a27619953abe2e9d6cab179042dd56bb76afbffe1966ad7edb41a131af5d6663f3cdbf77128833232e9174c0ef817b8522bfd978add595') build() { - cd ${srcdir}/Spin/Src${pkgver} + cd "${srcdir}/Spin/Src${pkgver}" make } package() { - cd ${srcdir}/Spin/Src${pkgver} + cd "${srcdir}/Spin/Src${pkgver}" # 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 -D spin "${pkgdir}/usr/bin/spin" + install -D -m644 "${srcdir}/LICENSE.txt" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.txt" + # install manpage and docs - install -d ${pkgdir}/usr/share/man/man1/ - install -d ${pkgdir}/usr/share/doc/${pkgname}/examples + install -d "${pkgdir}/usr/share/man/man1/" + install -d "${pkgdir}/usr/share/doc/${pkgname}/examples" - gzip -9c ${srcdir}/Spin/Man/spin.1 > ${pkgdir}/usr/share/man/man1/spin.1.gz - cp -a ${srcdir}/Spin/Examples/* ${pkgdir}/usr/share/doc/${pkgname}/examples/ + gzip -9c "${srcdir}/Spin/Man/spin.1" > "${pkgdir}/usr/share/man/man1/spin.1.gz" + cp -a "${srcdir}/Spin/Examples/*" "${pkgdir}/usr/share/doc/${pkgname}/examples/" } |